Tool support for the Z formal notation
Open Source and data mining software
Modular Java framework for meta-heuristic optimization
Calculator that takes care of measurement units.
proof verifier for mathematical proofs and documentation generator
neural network implementation in java
a free cross platform calculator for calculating BIG numbers