This is stars and forks stats for /glguy/my-agda-lib repository. As of 03 May, 2024 this repository has 3 stars and 1 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| msp-strath/MSPweb | HaskellHTMLAgda | 6 | 0 | 6 | 0 |
| vehicle-lang/vehicle | HaskellPythonVCL | 59 | 0 | 5 | 0 |
| CQTS/summer23-homework | AgdaNix | 1 | 0 | 21 | 0 |
| UniMath/agda-unimath | AgdaPythonCSS | 184 | +1 | 54 | 0 |
| jmchapman/restriction-categories | Agda | 12 | 0 | 1 | 0 |
| disco-lang/disco | HaskellTeXAgda | 150 | 0 | 21 | 0 |