proof verifier for mathematical proofs and documentation generator
Java Swing HTML / CSS rendering component
A Java adapter for the NextBus Public XML Feed Service
GPS data visualisation and exploration
Java CSS parser and DOM style assignment library
A tool for discovering external dependencies in Office files.
converts Audacity label files to .cue (CUE) files
Hand Written Equation Creator
"Database to CSV" project stores/loads data between database and CSVs
Web-based editor for the Gateway Description Language (GDL).
Java StAX implementation for the WBXML format.