A Java NBT library with freedom.
An HDL alternative to PCB graphical schematic capture tools.
proof verifier for mathematical proofs and documentation generator
Extract Helium (formely Carbon) backups
Automatically converts special characters to their HTML codes.
Modern, cross platform library of functions used in CoCo software
An extensible development framework for roleplay games.
Program to transform any XML document to a RDF one.
A tool to convert Excel sheets into SQL code
Building a federated science web one link at a time