A portable C++ library for Compressed Sensing
proof verifier for mathematical proofs and documentation generator
Mathematica package to handle Keplerian and perturbed orbits
Module Computation for Metabolic Networks
A science API for Java
Genetic Algorithm Optimization for Python
Fixed-length Arithmetic-types library
GPU based Parallel Gene-Gene Interaction Analysis
Distributed QP Solver in Python
A lqfb delegation analyser. A 3d directed weighted multi graph.
This small library implements a data structure for Koch curves.
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
A Toolbox for nonstationary Gabor transforms
This is a multiplatform program to calculate pi.