利用LLVM作为lambda演算后端的普通编译器
Trivial compiler that utilizes LLVM as a backend for lambda calculus (2024-03-23, OCaml, 0KB, 下载0次)
利用LLVM作为lambda演算后端的普通编译器
Trivial compiler that utilizes LLVM as a backend for lambda calculus (2024-03-22, OCaml, 0KB, 下载0次)
利用LLVM作为lambda演算后端的普通编译器
Trivial compiler that utilizes LLVM as a backend for lambda calculus (2024-03-19, OCaml, 0KB, 下载0次)
利用LLVM作为lambda演算后端的普通编译器
Trivial compiler that utilizes LLVM as a backend for lambda calculus (2024-03-19, OCaml, 0KB, 下载0次)
用于wee的C编译器，用于深奥目标的最小指令集
C compiler for wee, a minimal instruction set for esoteric targets (2024-01-10, OCaml, 0KB, 下载0次)
一个奇特的诊断库，允许编译器优雅地退出
A fancy diagnostics library that allows your compilers to exit with grace (2024-01-04, OCaml, 0KB, 下载0次)
支持类型化效果的OCaml语言子集的解释器
Interpreter for a subset of OCaml language with support for typed effects (2023-11-15, OCaml, 0KB, 下载0次)
继电器数据竞争分析器，适用于SV-COMP
The RELAY data race analyzer, adapted for SV-COMP (2023-11-02, OCaml, 0KB, 下载0次)
导出Quake MD2文件的Autodesk Maya文件转换器，
File translator for Autodesk Maya that exports Quake MD2 files, (2010-12-04, OCaml, 0KB, 下载0次)
用OCaml编写的类ML语法的Lambda微积分解释器，
Lambda calculus interpreter with ML-like syntax written in OCaml, (2023-10-14, OCaml, 0KB, 下载0次)
Groth Maller SNARK验证器（和相关加密）的纯OCaml实现，
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto), (2019-06-14, OCaml, 0KB, 下载0次)
基于Pratt解析算法的编译器，用于用OCaml.编写的表达式。，
Pratt parsing algorithm based compiler for expressions written in OCaml., (2023-09-25, OCaml, 0KB, 下载0次)
用OCaml编写的Tiger编程语言的x86-64编译器，
An x86-64 compiler for the Tiger programming language written in OCaml, (2023-09-19, OCaml, 0KB, 下载0次)
附件转换器：用于批量转换电子邮件邮箱中的附件的工具，
Attachment Converter: tool for batch converting attachments in an email mailbox, (2023-09-15, OCaml, 0KB, 下载0次)
用于分析和枚举OCaml编译器版本的库，
Library to parse and enumerate releases of the OCaml compiler, (2023-09-14, OCaml, 0KB, 下载0次)
高阶逻辑的模型查找器，
Model finder for higher-order logic, (2023-03-05, OCaml, 0KB, 下载0次)
OCaml.中非类型lambda演算的简单（但有效）解释器。，
A simple(but efficient) interpreter for untyped lambda calculus in OCaml., (2023-09-13, OCaml, 0KB, 下载0次)
绘制EBNF语法的铁路图。在浏览器和命令行中，
Draw railroad diagrams of EBNF grammars. In browser and on command line, (2018-11-17, OCaml, 0KB, 下载0次)
OCaml字节码运行时的实时编译器。，
Just-In-Time compiler for the OCaml byte-code runtime., (2012-01-23, OCaml, 0KB, 下载0次)
实现Hindley–Milner类型系统的类型推理的编译器，
A compiler implementing the type inference of Hindley–Milner type system, (2022-06-04, OCaml, 0KB, 下载0次)