Triton is a dynamic binary analysis library
Mixed Integer Linear Programming (MILP) solver.
Java language binding for the GNU Linear Programming Kit (GLPK)
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
Visualize Galois sub-hierarchy of 2d matrix
Zero Sum Game Solver Java Library