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.