Model-based design and verification for robotics.
4,186
stars
30,340
commits
C++
primary language
Sep 11, 2026
updated
Model-Based Design and Verification for Robotics.
Please see the Drake Documentation for more information.
(top 30 of 225)
6,754 commits
4,061 commits
1,528 commits
1,453 commits
C++
88.4%
Python
6.2%
Starlark
3.4%
Jupyter Notebook
1.1%
Model-based design and verification for robotics.
4,186
stars
30,340
commits
C++
primary language
Sep 11, 2026
updated
Model-Based Design and Verification for Robotics.
Please see the Drake Documentation for more information.
(top 30 of 225)
6,754 commits
4,061 commits
1,528 commits
1,453 commits
C++
88.4%
Python
6.2%
Starlark
3.4%
Jupyter Notebook
1.1%