Android API 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.
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
Math Parser for Java
A science API for Java
Hand Written Equation Creator
A simple programmable spreadsheet for learning statistics.
Octave Eclipse GUI
Real Random Number Generator