proof verifier for mathematical proofs and documentation generator
efficient data generation for benchmarks and performance analysis
Program used to generate Java objects which serialize to MySQL
IMDb Relational Dataset Generator
BDG
Generator of MAGIK source files from xmi files. Magik from UML.
Project moved to https://sourceforge.net/projects/qsqlmon/