Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
Model-based design and verification for robotics.
| Date | Stars |
|---|---|
| 2026-07-24 | 4121 |
| 2026-07-25 | 4121 |
| 2026-07-28 | 4121 |
| 2026-07-30 | 4121 |
| 2026-08-06 | 4121 |
Today
— stars today
This week
— stars this week
This month
— stars this month
Momentum
35.0
growth rate 0.00%/day
Model-Based Design and Verification for Robotics.
Please see the Drake Documentation for more information.
Rendered by GitHub from the current README
Read on GitHub
6.7k
Russ Tedrake · MIT and Toyota Research Institute · United States
4.1k
1.5k
1.5k
1.4k
1.1k
1.0k
967
879
David German · Toyota Research Institute
877
Michael Sherman · Toyota Research Institute · United States
724
712
706
687
Matthew Woehlke · Kitware, Inc.
579
532
427
382
John Carter · MIT CSAIL · United States
374
Scott Kuindersma · Harvard University · United States
353
Would you bet a product on this? Bounded 0–100 and slow moving.
matched fp:54a5d71d0d27007f, topic:robotics, desc:robotics, readme:robotics
