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-30 | 4121 |
| 2026-08-09 | 4140 |
| 2026-08-17 | 4151 |
| 2026-08-18 | 4153 |
| 2026-08-19 | 4155 |
| 2026-08-20 | 4156 |
| 2026-08-21 | 4157 |
| 2026-08-22 | 4157 |
| 2026-08-24 | 4158 |
| 2026-08-25 | 4159 |
| 2026-08-26 | 4159 |
| 2026-08-27 | 4158 |
| 2026-08-28 | 4158 |
| 2026-08-29 | 4159 |
| 2026-08-30 | 4160 |
| 2026-08-31 | 4162 |
| 2026-09-01 | 4164 |
| 2026-09-02 | 4165 |
| 2026-09-03 | 4170 |
| 2026-09-04 | 4173 |
| 2026-09-05 | 4175 |
| 2026-09-06 | 4178 |
| 2026-09-07 | 4179 |
| 2026-09-08 | 4181 |
| 2026-09-09 | 4184 |
| 2026-09-10 | 4185 |
| 2026-09-11 | 4185 |
| 2026-09-12 | 4186 |
| 2026-09-13 | 4188 |
| 2026-09-15 | 4191 |
| 2026-09-16 | 4192 |
| 2026-09-17 | 4192 |
| 2026-09-18 | 4193 |
| 2026-09-19 | 4195 |
| 2026-09-20 | 4196 |
| 2026-09-21 | 4199 |
| 2026-09-22 | 4201 |
| 2026-09-23 | 4202 |
| 2026-09-24 | 4201 |
| 2026-09-25 | 4204 |
| 2026-09-26 | 4206 |
| 2026-09-27 | 4210 |
| 2026-09-28 | 4211 |
| 2026-09-29 | 4211 |
| 2026-09-30 | 4212 |
| 2026-10-01 | 4213 |
| 2026-10-02 | 4213 |
| 2026-10-03 | 4213 |
| 2026-10-04 | 4213 |
| 2026-10-05 | 4214 |
| 2026-10-06 | 4217 |
| 2026-10-07 | 4218 |
| 2026-10-08 | 4219 |
| 2026-10-09 | 4220 |
| 2026-10-10 | 4221 |
| 2026-10-12 | 4221 |
| 2026-10-13 | 4222 |
| 2026-10-14 | 4222 |
| 2026-10-15 | 4222 |
| 2026-10-16 | 4225 |
| 2026-10-17 | 4225 |
| 2026-10-18 | 4227 |
| 2026-10-19 | 4228 |
| 2026-10-20 | 4230 |
| 2026-10-21 | 4230 |
| 2026-10-22 | 4233 |
| 2026-10-23 | 4233 |
| 2026-10-24 | 4234 |
| 2026-10-25 | 4237 |
| 2026-10-26 | 4238 |
| 2026-10-27 | 4239 |
| 2026-10-28 | 4241 |
| 2026-10-29 | 4242 |
| 2026-10-30 | 4243 |
| 2026-10-31 | 4243 |
| 2026-11-03 | 4242 |
| 2026-11-04 | 4242 |
Today
— stars today
This week
+1 stars this week
This month
+28 stars this month
Momentum
66.0
growth rate 0.02%/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
