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
Android app interface for antoniovandre_eval software.
Portable software and data related to Mersenne numbers
Program to generate permutations and combinations
Command-line calculator and libray.
This is a maths solving app and study guide for various levels..
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
Kaplan-Meier for Windows
A tool that uses OpenCL to procedurally generate 3D models