Software to develop and run robots.
Fast rigid-body dynamics algorithms and their analytical derivatives.
