| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| UniMath/UniMath | CoqEmacs LispMakefile | 865 | 0 | 163 | 0 |
| math-comp/analysis | CoqShellMakefile | 165 | 0 | 42 | 0 |
| uwplse/verdi | CoqOther | 561 | 0 | 56 | 0 |
| imdea-software/fcsl-pcm | CoqMakefile | 22 | 0 | 10 | 0 |
| querycert/qcert | CoqJavaOCaml | 52 | 0 | 9 | 0 |
| LPCIC/coq-elpi | OCamlCoqProlog | 110 | 0 | 43 | 0 |
| formal-land/coq-of-rust | CoqRustOther | 66 | 0 | 1 | 0 |
| jasmin-lang/jasmin | CoqOCamleC | 179 | 0 | 38 | 0 |
| mit-pdos/perennial | CoqPythonOther | 111 | 0 | 24 | 0 |
| coq-community/metaprogramming-rosetta-stone | CoqOCamlMakefile | 17 | 0 | 5 | 0 |
| coq-community/vscoq | OCamlTypeScriptCoq | 263 | 0 | 54 | 0 |
| coq/opam | OCamlShellMakefile | 109 | 0 | 135 | 0 |
| math-comp/hierarchy-builder | PrologCoqNix | 82 | 0 | 18 | 0 |