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
Program to generate permutations and combinations
Command-line calculator and libray.
Portable software and data related to Mersenne numbers
Numerical mathematics platform, Matlab alternative
Automated integer factorization
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
Biomolecular electrostatics software
Windows binaries for the GNU Linear Programming Kit (GLPK)
A library to convert between braille and MathML