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.