trace viewer and bus decoders for data captured by Agilent 16700 LA
Electronic design and programming tools suite like Eagle, MpLab
Translator of LTL formulae to Büchi automata based on LTL2BA
video align tool for astrophotography
Open Street Map (OSM) tools, OSM/XML parser, tag extractor
An implementation of Dantzig-Wolfe decomposition built upon GLPK
PC/PocketPC tool to get tracklogs from the WBT-201 GPS logger