Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
Multiprecision calculator
A java infix evaluator based on "Shunting Yard" algorithm.
A spectral method for inferring selection from time series data
Simple calculator
Petri net framework for security related modeling and reasoning.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Cross platform Mathematical expression solver
DSOL: A Distributed Simulation Object Library implemented in Java
Hand Written Equation Creator
Octave Eclipse GUI
Mathematical Parser for Java
Pure Java Fuzzy API