symforce

A flexible, high-performance serving system for machine learning models

A Python-embedded modeling language for convex optimization problems.

Low-latency machine code generation

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 or Matlab/Octave.