jump-dev/JuMP.jl

An object-oriented algebraic modeling language in Python for structured optimization problems.

A Python-embedded modeling language for convex optimization problems.

A python Linear Programming API

COIN-OR Interior Point Optimizer IPOPT

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript

The Julia Programming Language

Linear optimization software

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

Bayesian inference with probabilistic programming.