Modular Java framework for meta-heuristic optimization
Easy-to-use software for plotting functions of two variables.
Computer calculations made easy
Bit level lambda continuations and nothing else - Queue automata
A Free and Open Source Java Framework for Multiobjective Optimization
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
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.
proof verifier for mathematical proofs and documentation generator
A science API for Java
Hand Written Equation Creator
Octave Eclipse GUI
Real Random Number Generator