Functional language for parallel programming
OTHER License
OCaml Language Server Protocol implementation
Compiler from OCaml to Javascript.
Introduction to OCaml for Program Analysis
An independant OCaml lexer, extracted from OCaml/Camlp4
Parser combinators built for speed and memory efficiency
OCaml promises and concurrent I/O
Systems language with linear types and capability-based security.
Formal verification for OCaml
The core OCaml system: compilers, runtime system, base libraries
Toy autograd engine in OCaml with Apple Accelerate backend
selfish - the shell dyed in your selfish colors.
👨🏼💻👅 A Tiny ML-like language for research purposes
a functional language for building type-safe, scalable, and maintainable applications
Minimalist compiler course, based on Essential of Compilation
Pure Demand Operational Semantics