fast C++ library for linear algebra & scientific computing
Agena is an interpreted procedural programming language.
The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
A BASIC interpreter and compiler with graphics.
Data structures and Algorithms library
A portfolio-optimizer using Markowitz(1952) mean-variance model
Powerful Calculus Environment and Matrices Handling Engine
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Heterogeneous cluster for acceleration of linear algebra computations