XJML 1.0 is a platform for Verification and Validation of Java classes
Tools for model-driven modernization of software systems
ETHNOS - Expert Tribe in a Hybrid Network Operating System
A tiny and very simple cellular automata simulator. Abandoned, ignore.
A Bash Front-End to FCE Ultra
Convert heightmaps to stl