acados
Use PyTorch Models with CasADi for data-driven optimization or learning-based optimal control. Supports Acados.
Open-source compiler from JAX-trained robotics to Arm-based silicon, with signed attestation manifests.