proof verifier for mathematical proofs and documentation generator
A Java adapter for the NextBus Public XML Feed Service
Graphical tool for visualizing changes in web pages
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Electronic Data Tags value storage API For java.
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
Hand Written Equation Creator
Java Swing HTML / CSS rendering component
Toolkit for rapid XML and web application development
converts Audacity label files to .cue (CUE) files