github.com/robotlocomotion/drake (go): Model-based design and verification for robotics.
Keywords: drake|robotics