minisat2

Transitional package for minisat

This is a transitional package for minisat, and can be safely removed after the installation is complete.

minit

Small but powerful init system

babeld

loop-free distance-vector routing protocol

Babel is a distance-vector routing protocol for IPv6 and IPv4 with fast convergence properties, described in RFC 6126. It was designed to be robust and efficient on both wireless mesh networks and classical wired networks. Babel has extremely modest memory and CPU requirements. Unlike most routing protocols, which route either IPv4 or IPv6 but not both at the same time, Babel is a hybrid IPv6 and IPv4 protocol: a single update packet can carry both IPv6 and IPv4 routes (this is similar to how multi-protocol BGP works). This makes Babel particularly efficient on dual (IPv6 and IPv4) networks. This implementation also includes a radio frequency-aware variant of Babel.

minlog

Proof assistant based on first order natural deduction calculus

intended to reason about computable functionals, using minimal rather than classical or intuitionistic logic. The main motivation behind MINLOG is to exploit the proofs-as-programs paradigm for program development and program verification. Proofs are in fact treated as first class objects which can be normalized. If a formula is existential then its proof can be used for reading off an instance of it, or changed appropriately for program development by proof transformation. To this end MINLOG is equipped with tools to extract functional programs directly from proof terms. This also applies to non-constructive proofs, using a refined A-translation. The system is supported by automatic proof search and normalization by evaluation as an efficient term rewriting device.

mirmon

monitor the state of mirrors

Mirmon helps administrators in keeping an eye on the mirror sites. In a concise graphic format, mirmon shows each site's status history of the last two weeks. It is easy to spot stale or dead mirrors.

code-aster-gui

Graphical user interface for Code_Aster - client

Code_Aster is the finite element PDE solver used by the French nuclear industry. code-aster-gui provides a Tcl front end to its Python build and control systems.