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次)
经典命题逻辑的验证表证明器(NNF),
A verfied tableau prover for classical propositional logic (in NNF), (2018-01-07, Coq, 0KB, 下载0次)
coq中的TinyRAM模拟器,
TinyRAM emulator in coq, (2022-08-11, Coq, 0KB, 下载0次)
布尔逻辑公式的Coq认证预处理器,
A Coq-certified preprocessor for boolean logic formulae, (2021-01-19, Coq, 0KB, 下载0次)
Coq的通用Ctags optlib解析器,
Universal Ctags optlib parser for Coq, (2022-09-23, Coq, 0KB, 下载0次)
Coq中的认证正则表达式匹配器,
Certified regular expression matcher in Coq, (2020-03-17, Coq, 0KB, 下载0次)
朝向正式验证的Haskell编译器,
Towards a formally verified Haskell compiler, (2020-09-04, Coq, 0KB, 下载0次)
Coq中的文件同步器规范,
File synchroniser specification in Coq, (2022-09-23, Coq, 0KB, 下载0次)
一个非常简单的语言的编译器,在Coq中认证,
A compiler for a very simple language, certified in Coq, (2012-12-20, Coq, 0KB, 下载0次)
电感定义transformer,
Inductive definition transformers, (2023-02-26, Coq, 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次)
用于计算正确编译器II的Coq&Haskell代码,
Coq & Haskell code for Calculating Correct Compilers II, (2022-02-22, 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次)
简单的coq伪编译器,用于玩关于日志的证明,
Simple coq dummy compiler for playing with proofs about logging, (2018-11-06, Coq, 0KB, 下载0次)
中间存储器模型(IMM)及其编译正确性证明,
Intermediate Memory Model (IMM) and compilation correctness proofs for it, (2023-07-10, Coq, 0KB, 下载0次)