An HDL alternative to PCB graphical schematic capture tools.
proof verifier for mathematical proofs and documentation generator
Statistiques de profil pour géocacheur
Extract Helium (formely Carbon) backups
Universal text format converter
C library for manipulating Minecraft world data
A music notation converter from Encore to Lilypond.
A tool for discovering external dependencies in Office files.
Create structured binary files from XML data.
Analyze files to get their real format. Retrieve corrupted ones.
A command line tool to extract data from xml files
Command line helpers for Conexp files.
vsd2svg converts Visio VSD files into SVG