A Turing Machine Simulator
Unit testing framework for Ada
!!! NO LONGER MAINTAINED !!!
ECM / DMS, Projectmanagement, TimeRecording, ... ERP
OpenPatientOS is an information system for managing patient records
proof verifier for mathematical proofs and documentation generator
Library containg a set of various classes for java
Woas is a complete wiki in a single HTML file, forked from stickwiki.
Tray Icon Utiltiy for Mercurial SCM
The files required to run GTK+ applications on Windows
A small Java based text editor designed for coders.
Syntax coloring editor eclipse plugin