Agena is an interpreted procedural programming language.
A cross-platform statistical package for econometric analysis
Calc: arbitrary precision C-like arithmetic & calculator
Computer Algebra System written in Common Lisp
Framework for numerical computations, data analysis and visualisation
Uranie is CEA's uncertainty analysis platform, based on ROOT
Unicode XML TEI text analysis platform
Mixed Integer Linear Programming (MILP) solver.
Proof Logic : A logical framework for theorem proving
Windows binaries for the GNU Linear Programming Kit (GLPK)
Heterogeneous Software Development Accelerated
A re-implementation of cl-jointgen in C
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Nonlinear Krylov acceleration of fixed-point and Newton-like methods
Library for optimization using a genetic algorithm or particle swarms
Software tools for applications of simulations by iterations.
Heterogeneous cluster for acceleration of linear algebra computations
A small, basic, yet powerful and competent primality tester.