repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
move-language/move | RustMoveSMT | 2k | +2 | 582 | +3 |
viperproject/silicon | ScalaBoogieSMT | 62 | +1 | 26 | 0 |
boogie-org/boogie | BoogieC#Python | 445 | 0 | 102 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
move-language/move | RustMoveSMT | 2k | +2 | 582 | +3 |
viperproject/silicon | ScalaBoogieSMT | 62 | +1 | 26 | 0 |
boogie-org/boogie | BoogieC#Python | 445 | 0 | 102 | 0 |
Review Github collects stats from github repositories on a daily basis.
56,730 Repositories indexed · Code solutions