This is stars and forks stats for /CMU-HoTT/serre-finiteness repository. As of 20 Apr, 2024 this repository has 14 stars and 1 forks.
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
jmchapman/Relative-Monads | Agda | 24 | 0 | 2 | 0 |
plfa/plfa.github.io | AgdaTeXHaskell | 1.3k | 0 | 275 | 0 |
paolobrasolin/quantales | Agda | 3 | 0 | 0 | 0 |
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 |