| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Kindelia/Kind | Rust | 3.3k | +12 | 125 | +1 |
| idris-lang/Idris2 | IdrisCScheme | 2.2k | +7 | 346 | 0 |
| coq/coq | OCamlCoqTeX | 4.4k | +7 | 626 | 0 |
| agda/agda | HaskellAgdaTeX | 2.2k | +5 | 307 | +1 |
| FStarLang/FStar | F*OCamlPython | 2.5k | +5 | 233 | +2 |
| eashanhatti/peridot | HaskellGenero Forms | 391 | 0 | 4 | 0 |
| magmide/magmide | CoqRustOther | 776 | 0 | 12 | 0 |
| TOTBWF/teenytt | HaskellLexYacc | 26 | 0 | 4 | 0 |
| brendanzab/language-garden | OCamlNixLean | 108 | 0 | 2 | 0 |
| jfdm/velo-lang | IdrisTeXOther | 11 | 0 | 1 | 0 |