A Java to iOS Objective-C translation tool and runtime
Tool support for the Z formal notation
GPS track editor for editing tracks and planning (multiple) day tours
JQM - Java Quine McCluskey for minimization of Boolean functions.
Convert any image to gerber and drill files
Growth-grammar related Interactive Modelling Platform
Neurons to Algorithms - A neural modeling and simulation workbench
GeoData Web Editing [core SIG Web]
An HDL alternative to PCB graphical schematic capture tools.
PetriNetExec a library for embedding Petri Nets into Java applications
JFinisher is software for alignment, editing and manipulation DNA seqs