extract ROM extensions

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.
Utility collection to find and fix common errors in file storage

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:
2D car racing action game

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.
Software verification tool for C and Java

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.
simpler figure block game

freealchemist

simpler figure block game

FreeAlchemist is a figure block game written in Python where you have to connect blocks.
Bass synthesizer/sample player/sequencer

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