This is stars and forks stats for /agda/agda-categories repository. As of 25 Apr, 2024 this repository has 330 stars and 60 forks.
agda-categories library Welcome to what will hopefully become the standard Category Theory library for Agda. The current library release, v0.1.8, works with Agda-2.6.3 and stdlib-1.7.2. The master branch should also work with same, but may contain various incompatibilities. Note that this should be considered pre-beta software, and that backwards compability is not assured (although we don't intend to break things whimsically). When citing this library, please link to the github repo and also cite @inproceedings{10.1145/3437992.3439922, ...
agda-categories library Welcome to what will hopefully become the standard Category Theory library for Agda. The current library release, v0.1.8, works with Agda-2.6.3 and stdlib-1.7.2. The master branch should also work with same, but may contain various incompatibilities. Note that this should be considered pre-beta software, and that backwards compability is not assured (although we don't intend to break things whimsically). When citing this library, please link to the github repo and also cite @inproceedings{10.1145/3437992.3439922, ...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| agda/cubical | AgdaOther | 391 | 0 | 128 | 0 |
| cedille/ial | AgdaOther | 37 | 0 | 17 | 0 |
| kangrongji/cubical-classics | Agda | 26 | 0 | 1 | 0 |
| plt-amy/1lab | AgdaHaskellNix | 250 | 0 | 45 | 0 |
| msp-strath/TypOS | HaskellTeXAgda | 111 | 0 | 2 | 0 |
| jonsterling/agda-synthetic-domain-theory | Agda | 13 | 0 | 0 | 0 |
| isovector/denotational-arithmetic-zurihac | Agda | 6 | 0 | 1 | 0 |
| gregr/experiments | RacketSchemeHaskell | 12 | 0 | 3 | 0 |
| martinescardo/HoTTEST-Summer-School | TeXAgdaHTML | 246 | 0 | 63 | 0 |
| mikeshulman/ohtt | Agda | 34 | 0 | 2 | 0 |