Drake

Model-Based Design and Verification for Robotics.

Please see the Drake Documentation for more
information.