Software
Software to develop and run robots.
- DrakeOpen source
Model-based design and verification for robotics from MIT and Toyota Research.
- PinocchioOpen source
Fast rigid-body dynamics algorithms and their analytical derivatives.
- MIT Mini CheetahOpen source
Locomotion controller software for the MIT Cheetah robots.
- CasADiOpen source
Symbolic framework for nonlinear optimization and optimal control.
- OCS2Open source
Optimal Control for Switched Systems, MPC toolbox for legged robots.
- acadosOpen source
Fast embedded solvers for nonlinear MPC.
- CrocoddylOpen source
Differential dynamic programming for whole-body optimal control.
- OpenLoongOpen source
Open-source humanoid robot control framework from Shanghai.
