Command-line calculator of basic statistics.
Command line scientific calculator
Creates a data density plot of a 2 dimensional data distribution.
[frozen] A library for computing cycles in graphs or in Java code.
Calculator that takes care of measurement units.
proof verifier for mathematical proofs and documentation generator
Stochastic Analysis
Command line tool for reporting details on a given matrix
python calculus library with imprecise and precise representations
approximate Bayesian computation for stochastic differential equations
Library for optimization using a genetic algorithm or particle swarms