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.
grub2-splashimages
a collection of great GRUB2 splashimages
This package contains a collection of splashimages which can be used
for GRUB2. If you'd like your splashimage in this package send them
as bug report to Debian BTS.
ste-plugins
stereo LADSPA plugins
This package provides a set of stereo plugins:
* Stereo width;
* Stereo balance and panner.
fp-units-win-gfx
Free Pascal - graphics-library units dependency package
The Free Pascal Compiler is an Object Pascal compiler supporting both Delphi
and Turbo Pascal 7.0 dialects, as well as Mac Pascal dialects. It provides a
completely portable RunTime Library (RTL) available on many platforms and
compatible with Turbo Pascal, along with a platform-independent class-based
Free Component Library (FCL) adding many Delphi extensions and interfacing
with many popular open source libraries.