Software to develop and run robots.
Symbolic framework for nonlinear optimization and optimal control.