frama-c-base

Platform dedicated to the analysis of source code written in C

Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework.

libnblib-gmx0

GROMACS molecular dynamics sim, NB-LIB shared libraries

GROMACS is a versatile package to perform molecular dynamics, i.e. simulate the Newtonian equations of motion for systems with hundreds to millions of particles.

pylama

code audit tool for Python in Python3

pylama s a code audit tool for Python and JavaScript. It wraps the following tools: * PEP8 © 2012-2013, Florent Xicluna; * PEP257 © 2012, GreenSteam, <http://greensteam.dk/> * PyFlakes © 2005-2013, Kevin Watters; * Mccabe © Ned Batchelder; * Pylint © 2013, Logilab (should be installed 'pylama_pylint' module); * gjslint © The Closure Linter Authors (should be installed 'pylama_gjslint' module);

gnuhtml2latex

Convert HTML files to LaTeX

gnuhtml2latex is a Perl script that converts HTML files to LaTeX files. It takes list of .html files as arguments and make .tex ones. Can also convert html stdin to LaTeX stdout.

python3-nuheat

Library for controlling NuHeat Signature radiant floor thermostats

This library enables control of NuHeat Signature radiant floor thermostats. It connects to the NuHeat web-based API to manage and monitor thermostat settings remotely. Users can fetch the current temperature, set target temperatures, and switch between different modes such as auto, temporary hold, or permanent hold. The library facilitates interactions with the thermostat’s functionalities including setting temperature until a specified time, resuming programmed schedules, and retrieving thermostat properties like heating status and online status. An internet connection is required to use the API.

elpa-pg

pg.el -- Emacs Lisp socket-level interface to the PostgreSQL RDBMS

This module lets you access the PostgreSQL object-relational DBMS from Emacs, using its socket-level frontend/backend protocol. The module is capable of automatic type coercions from a range of SQL types to the equivalent Emacs Lisp type.