| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Kindelia/Kind | Rust | 3.3k | +12 | 125 | +1 |
| agda/agda | HaskellAgdaTeX | 2.2k | +5 | 307 | +1 |
| steshaw/plt | CSSHTMLJavaScript | 5.1k | +5 | 333 | 0 |
| eashanhatti/peridot | HaskellGenero Forms | 391 | 0 | 4 | 0 |
| stepchowfun/proofs | CoqRubyMakefile | 274 | 0 | 10 | 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 |
| sdiehl/write-you-a-haskell | HaskellCSSOCaml | 3.3k | -2 | 262 | 0 |