Triton is a dynamic binary analysis library
Mixed Integer Linear Programming (MILP) solver.
Java language binding for the GNU Linear Programming Kit (GLPK)
Linear constraint feasibility check and get program.
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
Neural network library for developers
mathSuite Speed & Matrix Stream Processor
Solve linear programming problems
JBernstein: Exploration techniques for non-linear constraint checking
An implementation of Dantzig-Wolfe decomposition built upon GLPK
A simple batch program with many useful functions!
Visualize Galois sub-hierarchy of 2d matrix
Zero Sum Game Solver Java Library