在编译实践中，我们将为简单的算术表达式语言编写编译器。
During our practice of compilation, we are going to write a compiler for a simple arithmetic expression language. (2024-03-11, OCaml, 0KB, 下载0次)
用于表达式问题的混合计算器，基于“通过多态变体的代码重用”
Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants" (2018-03-06, OCaml, 0KB, 下载0次)
一种基于S表达式的小型算术语言编译器
A compiler for a small arithmetic language based on S-expressions (2018-05-18, OCaml, 0KB, 下载0次)
基于表达式的函数编程语言的解释器
Interpreter for a functional, expression-based programming language (2024-01-02, OCaml, 0KB, 下载0次)
与卡西欧计算器相关的各种功能，
Various functions related to Casio calculators, (2023-09-14, OCaml, 0KB, 下载0次)
YUP是一个证明检查器，它通过归纳和......来执行简单程序的自动检查-功能程序的正确性证明...，
YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and equational reasoning. (2023-02-14, OCaml, 0KB, 下载0次)
Ocaml中的一个基本定理证明器，
A basic theorem prover in Ocaml, (2023-06-27, OCaml, 0KB, 下载0次)
OCaml中的简单整数计算器。Lexes解析、编译和计算任意整数数学表达式。
A simple integer calculator in OCaml. Lexes, parses, compiles and evaluates arbitrary integer mathematical expressions. (2017-03-11, OCaml, 0KB, 下载0次)
基于诅咒的RPN计算器
Curses-based RPN calculator (2021-12-21, OCaml, 0KB, 下载0次)
任意数据类型的随机数据生成器
Random Data Generator for arbitrary data types (2023-03-23, OCaml, 63KB, 下载0次)
精益定理证明器的Ocaml绑定<http:leanprover.github.io>
精益定理证明器的Ocaml绑定<http:leanprover.github.io> (2016-05-06, OCaml, 36KB, 下载0次)
Slothrop是一个自动等式定理证明器，执行Knuth-Bendix补全的变体。
Slothrop is an automated equational theorem prover that performs a variant of Knuth-Bendix completion. (2012-12-26, OCaml, 147KB, 下载0次)
WIP：命题逻辑的自动定理证明器。用OCaml编写。
WIP: Automated theorem prover for propositional logic. Written in OCaml. (2023-01-10, OCaml, 11KB, 下载0次)
基于SGGS的定理证明器
SGGS-based theorem prover (2022-08-22, OCaml, 967KB, 下载0次)
归纳定理证明器Coq的一个模块，它基于归纳型定义生成函数和定理...
A module for the inductive theorem prover Coq, which generates function and theorems based on inductive type definitions. (2016-10-10, OCaml, 29KB, 下载0次)
一阶和高阶定理证明器的证明格式和检验器
[wip] Proof format and checker for first-order and higher-order theorem provers (2023-03-29, OCaml, 106KB, 下载0次)
ProVerif ATP-结合ProVerif和自动定理验证器进行安全协议验证
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification (2020-03-10, OCaml, 5782KB, 下载0次)
基于lambda树语法的交互式定理证明器
An interactive theorem prover based on lambda-tree syntax (2023-04-11, OCaml, 282KB, 下载0次)
一个OCaml中的自动定理证明器，用于具有等式和数据类型的类型高阶逻辑，基于叠加...
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc. (2023-05-12, OCaml, 2894KB, 下载0次)
HOL-Light定理证明器
The HOL Light theorem prover (2023-05-25, OCaml, 8148KB, 下载0次)