Tool support for the Z formal notation
Dynamical systems research tool
Precision Trigonometry: Advanced Calculator for Complex Math
Unicode XML TEI text analysis platform
Parallel Optimization Library for Java
A spectral method for inferring selection from time series data
Petri net framework for security related modeling and reasoning.
Java graph library
Octave Eclipse GUI