ocaml的sql预处理器示意图
a sketch of an sql preprocessor for ocaml (2024-01-28, OCaml, 0KB, 下载0次)
基于效果的OCaml名称服务器
An Effects-based OCaml Nameserver (2023-12-16, OCaml, 0KB, 下载0次)
OCaml的枯燥命令行解析器
A boring command-line parser for OCaml (2023-11-24, OCaml, 0KB, 下载0次)
Rust语言子集的编译器,比利时大学编程语言和编译器课程的最后一个项目...
A compiler for a subset of the Rust language, the final project of the Programming Languages and Compilers course at the University of Beira Interior (UBI). (2021-02-18, OCaml, 0KB, 下载0次)
OCaml的ZIP存档和放气编解码器
ZIP archive and deflate codec for OCaml (2023-11-03, OCaml, 0KB, 下载0次)
面向对象的语言优化编译器,
Object oriented langage optimising compiler, (2023-10-23, OCaml, 0KB, 下载0次)
具有定义的Lambda微积分解释器,
Lambda Calculus Interpreter with Definitions, (2023-10-08, OCaml, 0KB, 下载0次)
基于效果的OCaml名称服务器,
An Effects-based OCaml Nameserver, (2023-09-26, OCaml, 0KB, 下载0次)
与卡西欧计算器相关的各种功能,
Various functions related to Casio calculators, (2023-09-14, OCaml, 0KB, 下载0次)
带有pomme.ml(一种相关的汇编语言)的小型微处理器。包括网络列表编译器和时钟作为示例。作为项目制作...,
Small microprocessor with pomme.ml an associated assembly language. Included a netlist compiler and clocks as examples. Made as a project for the "Système Numérique" course at the ENS. (2022-01-28, OCaml, 0KB, 下载0次)
OCaml menhir新Haxe解析器的实现。,
OCaml menhir implementation of a new Haxe parser., (2018-06-10, OCaml, 0KB, 下载0次)
用于ppx重写器的基本库和工具,
Base library and tools for ppx rewriters, (2023-07-20, OCaml, 0KB, 下载0次)
用OCaml编写的Scheme(R6RS子集)解释器,
Scheme (R6RS subset) interpreter written in OCaml, (2020-06-30, OCaml, 0KB, 下载0次)
OCaml中的日历服务器(CalDAV,RFC 4791)实现,
Calendar server (CalDAV, RFC 4791) implementation in OCaml, (2023-06-22, OCaml, 0KB, 下载0次)
一个简单的eBPF DSL和汇编器,
A simple eBPF DSL and assembler, (2018-12-10, OCaml, 0KB, 下载0次)
统一随机对等采样器
URPS: Uniform Random Peer Sampler (2021-08-26, OCaml, 0KB, 下载0次)
在OCaml中尝试SQL优化器。
An attempt at a SQL optimizer in OCaml. (2017-10-30, OCaml, 0KB, 下载0次)
将原因添加到浏览器
Adds Reason to the browser (2018-06-03, OCaml, 1764KB, 下载0次)
用于编程Acme编辑器的OCaml库
OCaml library for programming the Acme editor (2012-01-11, OCaml, 12KB, 下载0次)
精益定理证明器的Ocaml绑定<http:leanprover.github.io>
精益定理证明器的Ocaml绑定<http:leanprover.github.io> (2016-05-06, OCaml, 36KB, 下载0次)