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.
change default GRUB2 splashimage_2

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.