Coq

repotechsstarsweeklyforksweekly
coq/coqOCamlCoqTeX4.1k+3598+2
nvdla/hwVerilogC++C1.4k+1511+1
dspinellis/unix-history-repoAssemblyCoqLimbo6.1k04270
coq-community/coq-ext-libCoqOther1180420
math-comp/math-compCoqOCamlMakefile4710990
HoTT/bookTeXPythonCoq1.9k03580
GaloisInc/saw-scriptHaskellCoqPython4090630
robbertkrebbers/compcertCoqCOCaml21030
MetaCoq/metacoqCoqOCamlMakefile2770680
imdea-software/httCoqMakefile58060
tchajed/coq-record-updateCoqMakefilesed370130
coq-community/reglangCoqJavaScriptCSS31050
QuickChick/QuickChickCoqOCamlOther2270400
tlringer/proof-demosCoq38010
uds-psl/coq-library-undecidabilityCoqOther930220
snu-sf/pacoCoqPythonOther340110
coq-community/lemma-overloadingCoqJavaScriptCSS26070
coq-community/hoare-tutCoqMakefile15020
coq-community/topologyCoqMakefile40090
PrincetonUniversity/VSTCoqCOCaml3690850
magmide/magmideCoqOCamlRust7520110
nikhilg2121/fpga-blockchainVerilogCoq00120
mit-plv/fiat-cryptoCoqAssemblyPython54901460
coq-tactician/coq-tacticianOCamlCoqOther41070
melange-re/melangeOCamlCPostScript4590360
Next >

Popular technologies

Popular topics