| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| coq/coq | OCamlCoqTeX | 4.4k | +7 | 626 | 0 |
| gustavo-depaula/stalin-sort | CoqAssemblyPython | 1.3k | +4 | 164 | 0 |
| MetaCoq/metacoq | CoqOCamlMakefile | 301 | +2 | 71 | 0 |
| hacspec/hacspec | CoqRustF* | 227 | +2 | 43 | +1 |
| HoTT/book | TeXPythonCoq | 1.9k | +1 | 371 | 0 |
| Veridise/circom-coq | CoqMakefileOCaml | 31 | +1 | 3 | 0 |
| riscv/sail-riscv | CoqIsabelleStandard ML | 324 | +1 | 103 | +1 |
| AdaCore/spark2014 | AdaPythonCoq | 216 | +1 | 34 | 0 |
| nvdla/hw | VerilogC++C | 1.5k | 0 | 534 | 0 |
| dspinellis/unix-history-repo | AssemblyCoqLimbo | 6.3k | 0 | 451 | 0 |
| coq-community/coq-ext-lib | CoqOther | 121 | 0 | 44 | 0 |
| math-comp/math-comp | CoqTeXOCaml | 509 | 0 | 106 | 0 |
| The-OpenROAD-Project/OpenROAD-flow-scripts | VerilogSourcePawnCoq | 208 | 0 | 226 | 0 |
| GaloisInc/saw-script | HaskellCoqPython | 421 | 0 | 71 | 0 |
| robbertkrebbers/compcert | CoqCOCaml | 22 | 0 | 3 | 0 |
| imdea-software/htt | CoqMustacheShell | 61 | 0 | 6 | 0 |
| tchajed/coq-record-update | CoqMakefilesed | 40 | 0 | 14 | 0 |
| coq-community/reglang | CoqJavaScriptCSS | 37 | 0 | 5 | 0 |
| QuickChick/QuickChick | CoqOCamlC | 230 | 0 | 43 | 0 |
| tlringer/proof-demos | Coq | 38 | 0 | 1 | 0 |
| uds-psl/coq-library-undecidability | CoqOther | 96 | 0 | 24 | 0 |
| snu-sf/paco | CoqPythonOther | 38 | 0 | 10 | 0 |
| coq-community/lemma-overloading | CoqJavaScriptCSS | 26 | 0 | 6 | 0 |
| coq-community/hoare-tut | CoqMakefile | 16 | 0 | 2 | 0 |
| coq-community/topology | CoqMakefile | 44 | 0 | 10 | 0 |