This is stars and forks stats for /paolobrasolin/quantales repository. As of 27 Apr, 2024 this repository has 3 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| AndrasKovacs/smalltt | LeanIdrisAgda | 472 | 0 | 23 | 0 |
| RedPRL/agda-mugen | AgdaOther | 13 | 0 | 1 | 0 |
| anoma/geb | IdrisCommon LispAgda | 22 | 0 | 8 | 0 |
| agda/agda2hs | AgdaEmacs LispHaskell | 135 | 0 | 24 | 0 |
| maxsnew/synthetic-domain-theory | Agda | 14 | 0 | 0 | 0 |
| elpinal/ucat | Agda | 9 | 0 | 0 | 0 |
| AndrasKovacs/elaboration-zoo | HaskellAgda | 517 | 0 | 30 | 0 |
| FrozenWinters/SSTs | Agda | 22 | 0 | 0 | 0 |
| martinescardo/TypeTopology | AgdaTeXMakefile | 187 | 0 | 30 | 0 |
| conal/felix | Agda | 35 | 0 | 3 | 0 |