Tool support for the Z formal notation
GPS track editor for editing tracks and planning (multiple) day tours
Convert any image to gerber and drill files
PySCeS Constraint Based Modelling
A graphical Finite State Machine (FSM) designer.
An HDL alternative to PCB graphical schematic capture tools.
nwbas2ecce converts nwchem basis set files to the ECCE format
PetriNetExec a library for embedding Petri Nets into Java applications