repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
Kindelia/Kind | Rust | 3.3k | +12 | 125 | +1 |
acl2/acl2 | Common LispNewLispVerilog | 315 | 0 | 100 | 0 |
SRI-CSL/yices2 | SMTCShell | 341 | 0 | 41 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
Kindelia/Kind | Rust | 3.3k | +12 | 125 | +1 |
acl2/acl2 | Common LispNewLispVerilog | 315 | 0 | 100 | 0 |
SRI-CSL/yices2 | SMTCShell | 341 | 0 | 41 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions