Google's software suite for combinatorial optimization
Set of numeric libraries for the Go programming language
Agena is an interpreted procedural programming language.
Develop a user written Data Envelopment Analysis package in Stata.
fast C++ library for linear algebra & scientific computing
Mixed Integer Linear Programming (MILP) solver.
Java language binding for the GNU Linear Programming Kit (GLPK)
Parallel Optimization Library for Java
A portfolio-optimizer using Markowitz(1952) mean-variance model
ntccKMC: A Kripke-structure-based model checker for ntcc
Lapack/quadprog QP for VBA/.Net/Java
A finite element solver using state-of-the-art programming techniques.
Zero Sum Game Solver Java Library