Tool support for the Z formal notation
A java infix evaluator based on "Shunting Yard" algorithm.
A spectral method for inferring selection from time series data
Petri net framework for security related modeling and reasoning.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Hand Written Equation Creator
Octave Eclipse GUI