Open source finite element software for multiphysical problems
A cross-platform statistical package for econometric analysis
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
Vectorized libm
Command-line calculator and libray.
Program to generate permutations and combinations
This is a maths solving app and study guide for various levels..
Numerical mathematics platform, Matlab alternative
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
Biomolecular electrostatics software
Kaplan-Meier for Windows
Windows binaries for the GNU Linear Programming Kit (GLPK)
R interface to the Corpus Query Protocol
A library to convert between braille and MathML