| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| UniMath/agda-unimath | AgdaPythonCSS | 182 | +9 | 52 | 0 |
| agda/agda | HaskellAgdaTeX | 2.2k | +7 | 305 | +2 |
| AndrasKovacs/elaboration-zoo | HaskellAgda | 516 | +4 | 30 | 0 |
| plfa/plfa.github.io | AgdaTeXHaskell | 1.3k | +2 | 275 | +1 |
| cedille/ial | AgdaOther | 37 | +1 | 17 | 0 |
| input-output-hk/formal-ledger-specifications | AgdaTeXNix | 16 | +1 | 9 | 0 |
| agda/agda-stdlib | AgdaOther | 526 | 0 | 229 | 0 |
| input-output-hk/plutus | HaskellAgdaNix | 1.5k | 0 | 448 | 0 |
| agda/agda-categories | Agda | 329 | 0 | 59 | 0 |
| agda/cubical | AgdaOther | 391 | 0 | 127 | 0 |
| kangrongji/cubical-classics | Agda | 26 | 0 | 1 | 0 |
| plt-amy/1lab | AgdaHaskellNix | 248 | 0 | 42 | 0 |
| msp-strath/TypOS | HaskellTeXAgda | 112 | 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 | 243 | 0 | 62 | 0 |
| mikeshulman/ohtt | Agda | 34 | 0 | 2 | 0 |
| CMU-HoTT/serre-finiteness | Agda | 14 | 0 | 1 | 0 |
| jmchapman/Relative-Monads | Agda | 24 | 0 | 2 | 0 |
| paolobrasolin/quantales | Agda | 3 | 0 | 0 | 0 |
| AndrasKovacs/smalltt | LeanIdrisAgda | 469 | 0 | 23 | 0 |
| RedPRL/agda-mugen | AgdaOther | 13 | 0 | 1 | 0 |
| anoma/geb | IdrisCommon LispAgda | 21 | 0 | 8 | 0 |
| agda/agda2hs | AgdaEmacs LispHaskell | 135 | 0 | 24 | 0 |