Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
Command-line calculator and libray.
Vectorized libm
Program to generate permutations and combinations
Unicode XML TEI text analysis platform
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
Library for spherical harmonic transforms (SHT)
mathSuite Speed & Matrix Stream Processor