| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| AbsInt/CompCert | CoqOCamlAssembly | 1.7k | +9 | 235 | +1 |
| dspinellis/unix-history-repo | AssemblyCoqLimbo | 6.3k | +7 | 448 | 0 |
| coq/coq | OCamlCoqTeX | 4.4k | +3 | 626 | 0 |
| The-OpenROAD-Project/OpenROAD-flow-scripts | VerilogSourcePawnCoq | 202 | +3 | 224 | -1 |
| Kraks/diamond-lang | ScalaJavaCoq | 20 | +3 | 0 | 0 |
| nvdla/hw | VerilogC++C | 1.5k | +2 | 534 | +2 |
| math-comp/math-comp | CoqTeXOCaml | 509 | +2 | 106 | 0 |
| AdaCore/spark2014 | AdaPythonCoq | 215 | +2 | 34 | 0 |
| LPCIC/coq-elpi | OCamlCoqProlog | 108 | +2 | 42 | 0 |
| MLanguage/mlang | OCamlCoqOther | 164 | +2 | 8 | 0 |
| sipeed/TangNano-9K-example | GLSLVerilogSystemVerilog | 146 | +2 | 46 | 0 |
| sipeed/TangPrimer-20K-example | GLSLVVerilog | 94 | +2 | 17 | -1 |
| stepchowfun/proofs | CoqRubyMakefile | 273 | +1 | 10 | 0 |
| mit-plv/bedrock2 | CoqVerilogMakefile | 249 | +1 | 52 | 0 |
| coq-community/coq-ext-lib | CoqOther | 121 | 0 | 44 | 0 |
| HoTT/book | TeXPythonCoq | 1.9k | 0 | 371 | 0 |
| GaloisInc/saw-script | HaskellCoqPython | 420 | 0 | 71 | 0 |
| robbertkrebbers/compcert | CoqCOCaml | 22 | 0 | 3 | 0 |
| MetaCoq/metacoq | CoqOCamlMakefile | 298 | 0 | 71 | 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 |