This is stars and forks stats for /CyZooNiC/cyberdeck repository. As of 26 Apr, 2024 this repository has 112 stars and 7 forks.
Cyberdeck 3D Models Lid Plate Base Plate Umbilical Guide Case brackets PCB SDR Controller Services used https://blexon.com/ (Metal work) https://www.tenstickers.ch/ (Stickers) BOM Pelican case, PELI 1450 black https://www.brack.ch/peli-schutzkoffer-1450-schwarz-360008 Raspberry Pi 3B https://rpilocator.com/?cat=PI3 Toggle Switches https://secure.reichelt.com/ch/en/lever-switch-to-10-a-1x-on-on-hs-636-h2-p105645.html Toggle Switch guard https://secure.reichelt.com/ch/en/safety-covers-red-schutz-20-26-p105664.html INA226...
Cyberdeck 3D Models Lid Plate Base Plate Umbilical Guide Case brackets PCB SDR Controller Services used https://blexon.com/ (Metal work) https://www.tenstickers.ch/ (Stickers) BOM Pelican case, PELI 1450 black https://www.brack.ch/peli-schutzkoffer-1450-schwarz-360008 Raspberry Pi 3B https://rpilocator.com/?cat=PI3 Toggle Switches https://secure.reichelt.com/ch/en/lever-switch-to-10-a-1x-on-on-hs-636-h2-p105645.html Toggle Switch guard https://secure.reichelt.com/ch/en/safety-covers-red-schutz-20-26-p105664.html INA226...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| 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 |