将let绑定转换为CPS的OCaml预处理器扩展（PPX）
OCaml preprocessor extension (PPX) that transforms let-bindings into CPS (2024-04-05, OCaml, 0KB, 下载0次)
PPX编写器，允许您在发布版本中编译日志语句
A PPX writer which lets you compile out logging statements in release builds (2024-02-28, OCaml, 0KB, 下载0次)
在OCaml编译器上为不同的状态monad实现运行一些基准测试
Running some benchmarks for different state monad implementations on the OCaml compiler (2024-02-28, OCaml, 0KB, 下载0次)
Projet scolaire:un编译器en OCaml pour le cours d解释和编译
Projet scolaire : un compilateur en OCaml pour le cours d Interprétation et compilation (2024-02-19, OCaml, 0KB, 下载0次)
OCaml5的参与者模型多核调度器
An actor-model multi-core scheduler for OCaml 5 (2024-02-07, OCaml, 0KB, 下载0次)
AO、CBN、CBV、NOR策略的逐步Lambda微积分解释器
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies (2024-02-07, OCaml, 0KB, 下载0次)
实验：OCaml中的传感器。尚未准备好广泛使用，但欢迎贡献反馈。
Experimental: transducers in OCaml. Not ready for wider use, but contributions feedback are welcome. (2024-02-04, OCaml, 0KB, 下载0次)
用于对SIMD（未发布）进行类型安全访问的实验OCaml-to-C编译器
An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased) (2024-01-25, OCaml, 0KB, 下载0次)
使用效果和效果处理程序的模块化解释器
A modular interpreter using effects and effect handlers (2024-01-16, OCaml, 0KB, 下载0次)
我在道格拉斯·塞恩（DouglasThain）的书中实现了B编译器。
My implementation of the B- compiler from Douglas Thain s book. (2023-12-04, OCaml, 0KB, 下载0次)
RIP（REST in Peace）是一个简单的框架，用于在OCaml中构建RESTful服务器
RIP (REST in Peace) is a simple framework for building RESTful servers in OCaml (2023-11-29, OCaml, 0KB, 下载0次)
M语言的编译器，用于计算法国纳税人的所得税
Compiler for the M language, used to compute the income tax of French taxpayers (2023-11-07, OCaml, 0KB, 下载0次)
计算器的OCamL实现，使用我在编译类（OCamLLex和Menhir）中学习的内容
An OCamL implementation of a calculator, using what I learn in my Compilation class (OCamLLex and Menhir) (2023-11-07, OCaml, 0KB, 下载0次)
OCaml 5的参与者模型多核调度器，
An actor-model multi-core scheduler for OCaml 5 , (2023-10-10, OCaml, 0KB, 下载0次)
基于HTML元素树重写的静态网站生成器，
Static website generator based on HTML element tree rewriting, (2023-09-19, OCaml, 0KB, 下载0次)
用OCaml.编写的C的一个很小（但不断增长！）子集的编译器。，
A compiler for a tiny (but growing!) subset of C, written in OCaml., (2022-07-14, OCaml, 0KB, 下载0次)
Jape，一个可配置的证明编辑器（最擅长自然演绎和序贯演算），
Jape, a configurable proof editor (best at natural deduction and sequent calculus), (2023-09-07, OCaml, 0KB, 下载0次)
具有证明输出的模块化sat-smt解算器。，
A modular sat smt solver with proof output., (2021-10-14, OCaml, 0KB, 下载0次)
具有动态类型推理的ITGL解释器，
Interpreter of the ITGL with dynamic type inference, (2023-09-12, OCaml, 0KB, 下载0次)
OCaml中的传感器。你所能管理的哈斯凯利。希望解决这个问题。，
Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that., (2015-02-14, OCaml, 0KB, 下载0次)