| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| math-comp/math-comp | CoqTeXOCaml | 509 | 0 | 106 | 0 |
| coq-community/reglang | CoqJavaScriptCSS | 37 | 0 | 5 | 0 |
| coq-community/lemma-overloading | CoqJavaScriptCSS | 26 | 0 | 6 | 0 |
| math-comp/analysis | CoqShellMakefile | 165 | 0 | 42 | 0 |
| math-comp/hierarchy-builder | PrologCoqNix | 82 | 0 | 18 | 0 |