Tool support for the Z formal notation
GPS track editor for editing tracks and planning (multiple) day tours
String editing and formatting library for Ada
Handling dimensioned values in Ada
Convert any image to gerber and drill files
OpenNum lets you distribute solvers with a nice graphical interface
PySCeS Constraint Based Modelling
A graphical Finite State Machine (FSM) designer.
An HDL alternative to PCB graphical schematic capture tools.
A Library for Interactive Modelling and Visualisation
nwbas2ecce converts nwchem basis set files to the ECCE format
PetriNetExec a library for embedding Petri Nets into Java applications