Personal Version System
Eclipse integration for Isabelle proof assistant
Programming Game, A Practice Tool for Building Intelligent Things
MOVED TO GITHUB. Code here is STALE.
Simple Flexible Template Solution in Java
Community Supported Eclipse Visual Editor
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
Android on PXA270
Speedy Composer – Artificial Neural Network Melody Composer.