This is stars and forks stats for /jmchapman/restriction-categories repository. As of 03 May, 2024 this repository has 12 stars and 1 forks.
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
disco-lang/disco | HaskellTeXAgda | 150 | 0 | 21 | 0 |
A formalisation of Restriction Categories in Agda
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
disco-lang/disco | HaskellTeXAgda | 150 | 0 | 21 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions