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
A C/C++ library for performing mathematics.
Automated integer factorization
Proof Logic : A logical framework for theorem proving
Mixed Integer Linear Programming (MILP) solver.
A library to convert between braille and MathML
Advanced numerical instruments: adaptive meshing, FE methods, solvers
Heterogeneous Software Development Accelerated
Calculate primes by using extremely fast sorting
A command line toolki to solve a problem your favorite program defines
A Univariate Time Series Analysis package in ANSI C
mathSuite Speed & Matrix Stream Processor