HOL Light to Dedukti Lambdapi转换器
HOL-Light to Dedukti Lambdapi translator (2023-11-18, OCaml, 0KB, 下载0次)
用于防暴的纯OCaml HTTP服务器
Pure OCaml HTTP server for Riot (2023-11-15, OCaml, 0KB, 下载0次)
可交换编程的准确性编译器
Veracity compiler for programming with commutativity (2023-11-03, OCaml, 0KB, 下载0次)
编写C编译器的参考实现,
Reference implementation for Writing a C Compiler, (2023-10-26, OCaml, 0KB, 下载0次)
OCaml中的lambda微积分解释器,
A lambda calculus interpreter in OCaml, (2023-10-27, OCaml, 0KB, 下载0次)
x86到x86转换器相当有限,
fairly limited x86 to x86 translator, (2022-11-13, OCaml, 0KB, 下载0次)
PeDuCoML MiniML编译器
PeDuCoML MiniML compiler (2023-09-30, OCaml, 0KB, 下载0次)
探索各种基于效果的OCaml调度器,
Exploring various effect-based OCaml schedulers, (2023-09-08, OCaml, 0KB, 下载0次)
Caml变体的字节码编译器,
Bytecode compiler of a variant of Caml, (2015-06-04, OCaml, 0KB, 下载0次)
实现tiger的编译器,如Andrew Appel的《ML中的现代编译器实现》一书中所述。,
Implementing a compiler for tiger as described in the book Modern Compiler Implementation in ML by Andrew Appel., (2022-09-15, OCaml, 0KB, 下载0次)
顶级预期文件的分析器,
A parser of top-expect files, (2023-08-30, OCaml, 0KB, 下载0次)
木质立方体拼图的解算器,
Solver for a wooden cube puzzle, (2023-07-29, OCaml, 0KB, 下载0次)
一个漂亮的OCaml打印组合器库,
A pretty-printing combinator library for OCaml, (2023-01-03, OCaml, 0KB, 下载0次)
我的玩具语言Jasmine的编译器,
Compiler for my toy language, Jasmine, (2022-07-27, OCaml, 0KB, 下载0次)
内置浏览器的Goji绑定,
Goji binding of browser built-ins, (2014-06-18, OCaml, 0KB, 下载0次)
Spin的实验web服务器模板,
Experimental web server template for Spin, (2021-08-09, OCaml, 0KB, 下载0次)
Fluentd(OCaml)的结构化记录器,
A structured logger for Fluentd (OCaml), (2019-03-06, OCaml, 0KB, 下载0次)
Fluentd(OCaml)的结构化记录器,
A structured logger for Fluentd (OCaml), (2014-08-30, OCaml, 0KB, 下载0次)
OCaml的Unicode字符数据库解码器,
Unicode character database decoder for OCaml, (2023-01-06, OCaml, 0KB, 下载0次)
用Ocaml编写的Brainfuck解释器,
Brainfuck interpreter written in Ocaml, (2021-05-22, OCaml, 0KB, 下载0次)