Java Decision Diagrams (BDD) libraries: JDD and JBDD
A small and simple cpp template class for manage matrix.
A C++ matrix class for easy matrix manipulation
Suprangen is a system of libraries for pseudorandom number generation
differential algebra library
Obsolete: use https://github.com/VMML/vmmlib
Zero Sum Game Solver Java Library
Utility classes from maps to search engine to random samplers
GraphxV1.1
An application for analytic geometry education