Agena is an interpreted procedural programming language.
fast C++ library for linear algebra & scientific computing
engineering programmable calculator
Programmable Calculator (IP functions, create user functions)
ForevalZ - compiler of mathematical expressions with complex numbers
A system for computer algebra and symbolic mathematics
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Heterogeneous cluster for acceleration of linear algebra computations
Fast C library for relation algebra using binary decision diagrams.