C++ CASE tool, full life cycle code generator
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Schema Lookup & Entity Item Generator
Lapack/quadprog QP for VBA/.Net/Java
Program used to generate Java objects which serialize to MySQL
Generates Java source code for the CRC algorithm.