Python library for defining and optimizing mathematical expressions
A portable, multi-platform, command-line driven graphing utility
Agena is an interpreted procedural programming language.
Android, UIQ 3.0, Series 60 Edition 5 open-source software
*nix Sidereal Clock
Generator of the Mandelbrot family fractals
chinese remainder theorem - progressive solving, n-soln, extras
API for all possible cellular automata that work same at all angles
MathTools is an aid in preparing printed math tests.
Puzzle game demonstrating whats so hard about binary integer factoring
Tail probability calculator for continuous random variable
MathJax support for MathML content embedded in SVG documents
Creates a data density plot of a 2 dimensional data distribution.
proof verifier for mathematical proofs and documentation generator
A logic IDE for the sentential logic and the predicate logic.
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
ATMSP - A Tiny Mathematical Speed Parser