OCaml中正式验证的离散采样器。
Formally verified discrete samplers in OCaml. (2024-02-24, OCaml, 0KB, 下载0次)
使用编译器描述的opam插件
opam plugin to work with compiler descriptions (2024-01-18, OCaml, 0KB, 下载0次)
用于Riot的最小可组合服务器框架
Minimal composable server framework for Riot (2024-01-02, OCaml, 0KB, 下载0次)
TUI多行模糊文档查找器
TUI multiline fuzzy document finder (2023-12-08, OCaml, 0KB, 下载0次)
OCaml的枯燥命令行解析器
A boring command-line parser for OCaml (2023-11-24, OCaml, 0KB, 下载0次)
HOL Light to Dedukti Lambdapi转换器
HOL-Light to Dedukti Lambdapi translator (2023-11-18, OCaml, 0KB, 下载0次)
编写C编译器的参考实现,
Reference implementation for Writing a C Compiler, (2023-10-26, OCaml, 0KB, 下载0次)
面向对象的语言优化编译器,
Object oriented langage optimising compiler, (2023-10-23, OCaml, 0KB, 下载0次)
OCaml的Protobuf编译器,
A Protobuf Compiler for OCaml, (2023-10-20, OCaml, 0KB, 下载0次)
为编译器课程教授语言LaMa,
Teaching language LaMa for a compiler course, (2023-10-19, OCaml, 0KB, 下载0次)
x86到x86转换器相当有限,
fairly limited x86 to x86 translator, (2022-11-13, OCaml, 0KB, 下载0次)
Poppy编译器,
The Poppy Compiler, (2023-10-09, OCaml, 0KB, 下载0次)
具有定义的Lambda微积分解释器,
Lambda Calculus Interpreter with Definitions, (2023-10-08, OCaml, 0KB, 下载0次)
编译器诊断库,
A library for compiler diagnostics, (2023-09-17, OCaml, 0KB, 下载0次)
OCaml 5的简单调度器,
A simple scheduler for OCaml 5, (2023-09-08, OCaml, 0KB, 下载0次)
探索各种基于效果的OCaml调度器,
Exploring various effect-based OCaml schedulers, (2023-09-08, OCaml, 0KB, 下载0次)
Clojure传感器在OCaml中的实验实现,
An experimental implementation of Clojure s Transducers in OCaml, (2018-09-27, OCaml, 0KB, 下载0次)
OCaml 5的简单调度器,
A simple scheduler for OCaml 5, (2023-08-06, OCaml, 0KB, 下载0次)
木质立方体拼图的解算器,
Solver for a wooden cube puzzle, (2023-07-29, OCaml, 0KB, 下载0次)
统一随机对等采样器
URPS: Uniform Random Peer Sampler (2021-08-26, OCaml, 0KB, 下载0次)