Repositories
7
 Projects Packages
Filter
Sort
gadget
OCaml 2 0
Typed bytecode VM in OxCaml that indexes instructions by the type of the operand stack
Updated 2026-08-31 18:48:25 +00:00
lamb
OCaml 1 0
Compiler for a subset of OCaml expressions that exposes deterministic IR's
Updated 2026-08-18 16:12:08 +00:00
vanity
OCaml 1 0
Typed IR model for finding representation lowering failures across optimisation passes
Updated 2026-05-07 16:15:34 +00:00