This is stars and forks stats for /adafruit/Adafruit_CAD_Parts repository. As of 23 Apr, 2024 this repository has 882 stars and 196 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| CyZooNiC/cyberdeck | SMT | 112 | 0 | 7 | 0 |
| bitwuzla/bitwuzla | SMTC++Meson | 124 | 0 | 19 | 0 |
| dafny-lang/dafny | C#DafnyJava | 2.5k | +6 | 236 | +2 |
| leonardoalt/yools | SMTRustYul | 133 | 0 | 4 | 0 |
| artgobblers/art-gobblers | SolidityPythonSMT | 417 | 0 | 54 | 0 |
| ezyang/SMT-LIB-benchmarks-pytorch-shapes | SMT | 16 | 0 | 0 | 0 |
| SRI-CSL/yices2 | SMTCShell | 341 | 0 | 41 | 0 |
| giuspek/FormalMethods2023 | SMTPython | 3 | 0 | 8 | 0 |
| filipeom/queries | SMT | 0 | 0 | 0 | 0 |