proof verifier for mathematical proofs and documentation generator
A Java adapter for the NextBus Public XML Feed Service
GPS data visualisation and exploration
Extract Helium (formely Carbon) backups
A tool for discovering external dependencies in Office files.
Java CSS parser and DOM style assignment library
Java Swing HTML / CSS rendering component
Create structured binary files from XML data.
Web-based editor for the Gateway Description Language (GDL).
Write-Once, Deploy-Everywhere software framework