Fast and more random implementations of java.util.Random.
Computer calculations made easy
Java graph library
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
Petri net framework for security related modeling and reasoning.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Java toolkit for discrete Image and Signal processing.
Software tool for Research in Computational Population Genetics
JBernstein: Exploration techniques for non-linear constraint checking
[frozen] A library for computing cycles in graphs or in Java code.
proof verifier for mathematical proofs and documentation generator
Java Api to manipulate simple on data of Matrix Type
A science API for Java
User Friendly Data Analysis Tool for Interaction Data
Math Parser for Java