PySCeS Constraint Based Modelling
proof verifier for mathematical proofs and documentation generator
SOA infrastracture initially developed by NICT Language Grid Project
Parse and decode METAR, TAF, SYNOP, BUOY, AMDAR and write data as XML
vsd2svg converts Visio VSD files into SVG
Simple C++ XML processing
XML Schema for questionnaires and PDF questionnaire generator