Coq

repotechsstarsweeklyforksweekly
AbsInt/CompCertCoqOCamlAssembly1.7k+9235+1
dspinellis/unix-history-repoAssemblyCoqLimbo6.3k+74480
coq/coqOCamlCoqTeX4.4k+36260
The-OpenROAD-Project/OpenROAD-flow-scriptsVerilogSourcePawnCoq202+3224-1
Kraks/diamond-langScalaJavaCoq20+300
nvdla/hwVerilogC++C1.5k+2534+2
math-comp/math-compCoqTeXOCaml509+21060
AdaCore/spark2014AdaPythonCoq215+2340
LPCIC/coq-elpiOCamlCoqProlog108+2420
MLanguage/mlangOCamlCoqOther164+280
sipeed/TangNano-9K-exampleGLSLVerilogSystemVerilog146+2460
sipeed/TangPrimer-20K-exampleGLSLVVerilog94+217-1
stepchowfun/proofsCoqRubyMakefile273+1100
mit-plv/bedrock2CoqVerilogMakefile249+1520
coq-community/coq-ext-libCoqOther1210440
HoTT/bookTeXPythonCoq1.9k03710
GaloisInc/saw-scriptHaskellCoqPython4200710
robbertkrebbers/compcertCoqCOCaml22030
MetaCoq/metacoqCoqOCamlMakefile2980710
imdea-software/httCoqMustacheShell61060
tchajed/coq-record-updateCoqMakefilesed400140
coq-community/reglangCoqJavaScriptCSS37050
QuickChick/QuickChickCoqOCamlC2300430
tlringer/proof-demosCoq38010
uds-psl/coq-library-undecidabilityCoqOther960240
Next >

Popular technologies

Popular topics