Coq[maintainer=[@womeier]（https:github.com womeier）]中的分析器组合器总数
Total Parser Combinators in Coq [maintainer=[@womeier](https: github.com womeier)] (2023-11-14, Coq, 0KB, 下载0次)
Coq中的数独解算器（尚未完成），
A (yet unfinished) Sudoku solver in Coq, (2015-06-16, Coq, 0KB, 下载0次)
Menhir解析器生成器使用的CompCert解析器验证器Coq库的独立版本，
Standalone version of CompCert s parser validator Coq library as used by the Menhir parser generator, (2017-07-24, Coq, 0KB, 下载0次)
coq中的TinyRAM模拟器，
TinyRAM emulator in coq, (2022-08-11, Coq, 0KB, 下载0次)
朝向正式验证的Haskell编译器，
Towards a formally verified Haskell compiler, (2020-09-04, Coq, 0KB, 下载0次)
Coq.中的反射sat和tauto解算器。，
A reflexive sat & tauto solver in Coq., (2012-01-27, Verilog, 0KB, 下载0次)
Coq中的文件同步器规范，
File synchroniser specification in Coq, (2022-09-23, Coq, 0KB, 下载0次)
lambda演算，类型系统，解释器，编译器。OCAML、SCHEME和COQ代码，
lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code, (2023-07-15, HTML, 0KB, 下载0次)
coq ltac2编译器，，
coq ltac2 compiler,, (2023-06-18, OCaml, 0KB, 下载0次)
haskellToCoq编译器，，
haskellToCoqCompiler,, (2019-03-16, Haskell, 0KB, 下载0次)
Coq中的一元解析器组合子库，
Monadic parser combinator library in Coq, (2023-09-04, Makefile, 0KB, 下载0次)
电感定义transformer，
Inductive definition transformers, (2023-02-26, Coq, 0KB, 下载0次)
Coq的语言服务器，
Language server for Coq, (2021-03-12, OCaml, 0KB, 下载0次)
感知器算法的验证Coq实现，
Verified Coq Implementation of the Perceptron Algorithm, (2017-03-22, Coq, 0KB, 下载0次)
N2O:Coq应用程序服务器，
N2O: Coq Application Server, (2023-03-12, Coq, 0KB, 下载0次)
Coq中的Vyper编译器（刚刚启动），
A Vyper compiler in Coq (just started), (2022-02-18, Coq, 0KB, 下载0次)
Coq可执行语义和资源验证器，
Coq executable semantics and resource verifier, (2015-12-23, Coq, 0KB, 下载0次)
微型验证SAT解算器，
Tiny verified SAT-solver, (2022-01-07, Coq, 0KB, 下载0次)
LL（1）解析器生成器在Coq中验证，
LL(1) parser generator verified in Coq, (2020-01-30, OCaml, 0KB, 下载0次)
带证明的coq解析器组合子，
coq parser combinators with proofs, (2009-04-26, Others, 0KB, 下载0次)