proof verifier for mathematical proofs and documentation generator
A tool for discovering external dependencies in Office files.
An abductive sciene inquiry based learning project for school kids
Conversion of Intermagnet Archive Format to text file.
Visual graph creator for LaTeX (PGF & TikZ)
Building a federated science web one link at a time