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.
- CasADiOpen source
Symbolic framework for nonlinear optimization and optimal control.
- acadosOpen source
Fast embedded solvers for nonlinear MPC.
