| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| jkopanski/802.15.4 | SystemVerilogVerilogPython | 8 | 0 | 9 | 0 |
| coq-community/goedel | CoqMakefile | 27 | 0 | 3 | 0 |
| rems-project/sail | IsabelleStandard MLCoq | 477 | 0 | 72 | 0 |
| isoastro/Stupid-GOL | CoqVerilog | 0 | 0 | 0 | 0 |
| AeneasVerif/aeneas | OCamlStandard MLF* | 65 | 0 | 8 | 0 |
| CTSRD-CHERI/sail-cheri-riscv | IsabelleCoqOther | 50 | 0 | 14 | 0 |
| UniMath/UniMath | CoqEmacs LispMakefile | 865 | 0 | 163 | 0 |
| math-comp/analysis | CoqShellMakefile | 165 | 0 | 42 | 0 |
| plum-umd/QNP | OpenQASMCoqOCaml | 1 | 0 | 0 | 0 |
| qrp73/ali_trx | VerilogCoqVHDL | 14 | 0 | 2 | 0 |
| mit-plv/bedrock2 | CoqVerilogMakefile | 251 | 0 | 52 | 0 |
| zhezhouzz/Poirot-Supplementary-Material | OCamlCoqMakefile | 2 | 0 | 1 | 0 |
| BartMassey/stratify | HaskellCoq | 0 | 0 | 0 | 0 |
| jonsterling/Coq-Up | CoqHaskell | 3 | 0 | 0 | 0 |
| uwplse/verdi | CoqOther | 561 | 0 | 56 | 0 |
| gares/math-comp-school-2022 | CoqOCamlTeX | 5 | 0 | 1 | 0 |
| mit-plv/rewriter | CoqOther | 21 | 0 | 16 | 0 |
| imdea-software/fcsl-pcm | CoqMakefile | 22 | 0 | 10 | 0 |
| runtimeverification/vlsm | CoqShellJavaScript | 3 | 0 | 2 | 0 |
| nishantmc/ASVM | Coq | 0 | 0 | 0 | 0 |
| querycert/qcert | CoqJavaOCaml | 52 | 0 | 9 | 0 |
| LPCIC/coq-elpi | OCamlCoqProlog | 110 | 0 | 43 | 0 |
| MLanguage/mlang | OCamlCoqOther | 164 | 0 | 8 | 0 |
| Beluga-lang/McLTT | CoqOCamlMakefile | 3 | 0 | 1 | 0 |
| mit-frap/spring23 | CoqMakefile | 13 | 0 | 7 | 0 |