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.
JBernstein: Exploration techniques for non-linear constraint checking
Software tool for Research in Computational Population Genetics
[frozen] A library for computing cycles in graphs or in Java code.
Java Api to manipulate simple on data of Matrix Type
proof verifier for mathematical proofs and documentation generator
User Friendly Data Analysis Tool for Interaction Data
A science API for Java
Math Parser for Java
Octave Eclipse GUI