| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| rzk-lang/rzk | HaskellTypeScriptNix | 154 | +6 | 3 | 0 |
| UniMath/agda-unimath | AgdaPythonCSS | 184 | +1 | 54 | 0 |
| plt-amy/1lab | AgdaHaskellNix | 250 | 0 | 45 | 0 |
| mortberg/cubicaltt | HaskellEmacs LispMakefile | 549 | 0 | 77 | 0 |
| martinescardo/TypeTopology | AgdaTeXMakefile | 187 | 0 | 30 | 0 |
| HoTT/Coq-HoTT | CoqShellPython | 1.2k | 0 | 180 | 0 |