RobotLocomotion's tracked open-source repos, sorted by stars.
Model-based design and verification for robotics.
