php-punic
PHP-Unicode CLDR toolkit
limba-devtools
3rd-party software manager packaging tools
Limba allows 3rd-party developers to easily distribute their software on
multiple Linux distributions.
It provides atomic upgrades of software, simultaneous installation of multiple
software versions and a simple way to obtain and upgrade software.
debbindiff
transitional package
libopenzwave1.5
API to use a Z-Wave controller
OpenZWave is an open-source, cross-platform library designed to enable
anyone to add support for Z-Wave home-automation devices to their
applications, without requiring any in depth knowledge of the Z-Wave
protocol.
mona
theorem prover based on automata
MONA is a tool that translates formulas in the logics WS1S or WS2S
into finite-state automata represented by BDDs. The formulas may
express search patterns, temporal properties of reactive systems,
parse tree constraints, etc. MONA also analyses the automaton
resulting from the compilation, and determines whether the formula is
valid and, if the formula is not valid, generates a counter-example.