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 |