ree
extract ROM extensions
ROM extension extractor (ree) is a tool which extracts ROM extensions
from the firmware of a PC computer. This package also comes with fontdump,
a program to extract the fonts from your video BIOS.
fslint
Utility collection to find and fix common errors in file storage
FSlint is a toolkit to clean filesystem lint. It includes a GTK+ GUI
as well as a command line interface and can be used to reclaim disk space.
It has an interface for uninstalling packages, and it can find things like:
trophy
2D car racing action game
Trophy is a single-player racing game which combines elements from
traditional race and action games. Lots of available extras enable
features such as shooting, mines, barrels and many others.
why
Software verification tool for C and Java
Why aims at being a verification conditions generator (VCG) back-end
for other verification tools. It provides a powerful input language
including higher-order functions, polymorphism, references, arrays and
exceptions. It generates proof obligations for many systems: the proof
assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
freealchemist
simpler figure block game
FreeAlchemist is a figure block game written in Python where you have to
connect blocks.
freebirth
Bass synthesizer/sample player/sequencer
Freebirth is a free software bass synthesizer / step sequencer / sample player
similar to Rebirth. The bass synthesizer resembles a 303 but also has other
capabilities such as