Agena is an interpreted procedural programming language.
fast C++ library for linear algebra & scientific computing
Simulation of a two-channel Bell test, with closed-form proofs
Mixed Integer Linear Programming (MILP) solver.
Computer calculations made easy
A Free and Open Source Java Framework for Multiobjective Optimization
Software for exact computing based on interval arithmetic.
A simple programmable spreadsheet for learning statistics.
Nonlinear Krylov acceleration of fixed-point and Newton-like methods
The Advanced Algebraic Language.
Zero Sum Game Solver Java Library