Agena is an interpreted procedural programming language.
Mixed Integer Linear Programming (MILP) solver.
Java language binding for the GNU Linear Programming Kit (GLPK)
Optimal control, trajectory optimization, model-predictive control.
Parallel Optimization Library for Java
Heterogeneous Software Development Accelerated
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
Zero Sum Game Solver Java Library