Code for the manim-generated scenes used in 3blue1brown videos

A community-maintained Python framework for creating mathematical animations.

Fatrop is a nonlinear optimal control problem solver that aims to be fast, support a broad class of optimal control problems and achieve a high numerical robustness.

Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, JAXADi enables the creation of efficient code that runs smoot…

System for Grand Prix Metaverse Autonomous Driving Challenge

Use PyTorch Models with CasADi for data-driven optimization or learning-based optimal control. Supports Acados.

ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct o…

Use PyTorch Models with CasADi and Acados

Model predictive control python toolbox

Fast and embedded solvers for nonlinear optimal control

A Python sandbox for decision making in dynamics