Tool support for the Z formal notation
Dynamical systems research tool
Unicode XML TEI text analysis platform
EDMFit is an adjustment tool to estimate EDM calibration parameters.
Petri net framework for security related modeling and reasoning.
Java graph library
Octave Eclipse GUI