| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| agda/agda | HaskellAgdaTeX | 2.2k | +5 | 307 | +1 |
| agda/agda-stdlib | AgdaOther | 527 | +1 | 232 | 0 |
| agda/cubical | AgdaOther | 391 | 0 | 128 | 0 |
| plt-amy/1lab | AgdaHaskellNix | 250 | 0 | 45 | 0 |
| input-output-hk/formal-ledger-specifications | AgdaTeXNix | 18 | 0 | 10 | 0 |
| martinescardo/TypeTopology | AgdaTeXMakefile | 187 | 0 | 30 | 0 |
| iwilare/categorical-automata | Agda | 15 | 0 | 1 | 0 |
| vehicle-lang/vehicle | HaskellPythonVCL | 59 | 0 | 5 | 0 |
| tree-sitter/tree-sitter-agda | YaccJavaScriptRust | 28 | 0 | 13 | 0 |