proof verifier for mathematical proofs and documentation generator
A Java adapter for the NextBus Public XML Feed Service
Electronic Data Tags value storage API For java.
Java CSS parser and DOM style assignment library
GPS data visualisation and exploration
Java Swing HTML / CSS rendering component
converts Audacity label files to .cue (CUE) files
Hand Written Equation Creator
Toolkit for rapid XML and web application development
Web-based editor for the Gateway Description Language (GDL).