A portable C++ library for Compressed Sensing
Highly efficient implementation of BLAS for sparse block matrices.
Calculator that takes care of measurement units.
A Turing Machine Simulator
proof verifier for mathematical proofs and documentation generator
Module Computation for Metabolic Networks
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Genetic Algorithm Optimization for Python
A science API for Java
Math Parser for Java
Fixed-length Arithmetic-types library
Distributed QP Solver in Python
Parallelized FREquency DEComposer algorithm
An R Package for Environmental Statistics