Tool support for the Z formal notation
An hack of Jscheme with a lot of enhancements and additional features.
Experimental IEC 61499 Runtime
MIPS processor in Java
Tool to parse the command line and configuration files.
foundation of the General Intelligence Operating System
Simple Data Fix Language
Graph algorithms interpreter, IDE, debugger, 3D visualizations.