TLC is an explicit state model checker for specifications in TLA+
Evaluador de expresiones matemáticas para Java en español
Java language binding for the GNU Linear Programming Kit (GLPK)
A java infix evaluator based on "Shunting Yard" algorithm.
Fast and more random implementations of java.util.Random.
Java Api to manipulate simple on data of Matrix Type
neural network implementation in java
Utility classes from maps to search engine to random samplers