proof verifier for mathematical proofs and documentation generator
A Java adapter for the NextBus Public XML Feed Service
Extract Helium (formely Carbon) backups
GPS data visualisation and exploration
A tool for discovering external dependencies in Office files.
Java CSS parser and DOM style assignment library
Java Swing HTML / CSS rendering component
Hand Written Equation Creator
converts Audacity label files to .cue (CUE) files