repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
input-output-hk/plutus | HaskellAgdaNix | 1.4k | +1 | 444 | 0 |
agda/agda | HaskellAgdaTeX | 2.1k | 0 | 292 | 0 |
agda/agda-stdlib | AgdaOther | 501 | 0 | 219 | 0 |
agda/agda-categories | Agda | 300 | 0 | 55 | 0 |
agda/cubical | AgdaOther | 355 | 0 | 121 | 0 |
cedille/ial | AgdaOther | 33 | 0 | 18 | 0 |
kangrongji/cubical-classics | Agda | 25 | 0 | 1 | 0 |
plt-amy/1lab | AgdaHaskellNix | 202 | 0 | 36 | 0 |
msp-strath/TypOS | HaskellTeXAgda | 108 | 0 | 1 | 0 |
jonsterling/agda-synthetic-domain-theory | Agda | 12 | 0 | 0 | 0 |
isovector/denotational-arithmetic-zurihac | Agda | 6 | 0 | 1 | 0 |
gregr/experiments | RacketSchemeHaskell | 9 | 0 | 1 | 0 |
martinescardo/HoTTEST-Summer-School | TeXAgdaHTML | 218 | 0 | 61 | 0 |
mikeshulman/ohtt | Agda | 31 | 0 | 1 | 0 |
input-output-hk/formal-ledger-specifications | AgdaTeXNix | 10 | 0 | 6 | 0 |
CMU-HoTT/serre-finiteness | Agda | 12 | 0 | 1 | 0 |
jmchapman/Relative-Monads | Agda | 24 | 0 | 3 | 0 |
plfa/plfa.github.io | AgdaTeXHaskell | 1.2k | 0 | 262 | 0 |
paolobrasolin/quantales | Agda | 3 | 0 | 0 | 0 |
AndrasKovacs/smalltt | LeanIdrisAgda | 436 | 0 | 23 | 0 |
RedPRL/agda-mugen | AgdaOther | 13 | 0 | 1 | 0 |
anoma/geb | IdrisCommon LispAgda | 10 | 0 | 5 | 0 |
agda/agda2hs | AgdaHaskellOther | 121 | 0 | 20 | 0 |
maxsnew/synthetic-domain-theory | Agda | 14 | 0 | 0 | 0 |
elpinal/ucat | Agda | 9 | 0 | 0 | 0 |