Generate an executable state machine from a high level language.
java command line option processing library
Eclipse Plugin to generated PHP classes from existing database schema
XJML 1.0 is a platform for Verification and Validation of Java classes
Assembler language for modern times
Midje provides a migration path from clojure.test