XJML 1.0 is a platform for Verification and Validation of Java classes
Tools for model-driven modernization of software systems
MequaScript is a BASIC-style interpreter with a hybrid syntax
Java KellyCriterion Calculator
RedComm is a Java library simplifying communication with a serial port