repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
FStarLang/karamel | OCamlF*C | 367 | +1 | 56 | 0 |
EuroProofNet/ATP | OpenEdge ABL | 2 | 0 | 1 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
FStarLang/karamel | OCamlF*C | 367 | +1 | 56 | 0 |
EuroProofNet/ATP | OpenEdge ABL | 2 | 0 | 1 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions