LGPL GML parser
An HDL alternative to PCB graphical schematic capture tools.
proof verifier for mathematical proofs and documentation generator
Hand Written Equation Creator
Web-based editor for the Gateway Description Language (GDL).
Program to transform any XML document to a RDF one.
Grid-enabled version of the MDR software
Utility classes from maps to search engine to random samplers