Software to develop and run robots.
Symbolic framework for nonlinear optimization and optimal control.
Real-time toolkit and kinematics/dynamics library (KDL).