JBernstein: Exploration techniques for non-linear constraint checking
Software tool for Research in Computational Population Genetics
Command line scientific calculator
Calculator with fractions
[frozen] A library for computing cycles in graphs or in Java code.
R package for modelling anthropogenic deforestation
A portable C++ library for Compressed Sensing
The LaTeX Equation Editor
Highly efficient implementation of BLAS for sparse block matrices.
Multiple Precision Arithmetic in C.
Calculator that takes care of measurement units.
an interactive 3D viewing program
Cross platform Mathematical expression solver
Computes Gauss-Legendre quadrature nodes and weights
A Turing Machine Simulator