A micro compiler for the FORTH programming language
Statistics for this project are still being loaded, please check back later.
Introduction to OCaml for Program Analysis
Parser combinators built for speed and memory efficiency
Compiler from OCaml to Javascript.
Data structures and algorithms in OCaml
OCaml fuzzy type search
selfish - the shell dyed in your selfish colors.
A type-safe, stack-based functional programming language
Minimalist compiler course, based on Essential of Compilation
A lightweight and colourful test framework
OCaml implementation of the K 2.0 array programming language
Pure Demand Operational Semantics
Formal verification for OCaml
OCaml<->Rust FFI with an emphasis on safety.
skeleton for a language implementation in OCaml