A garden of small programming language implementations 🪴
Formal verification for OCaml
A lightweight, modular standard library extension, string library, and interfaces to various libr...
Parser combinators built for speed and memory efficiency
Compile Time Reflection or Metaprogramming for OCaml
Easy to use Makefile for small to medium-sized OCaml-projects
Project configuration for esy
C-style preprocessor for OCaml
OCaml Language Server Protocol implementation
Introduction to OCaml for Program Analysis
Logging implementation for ReScript
OCaml bindings for Binaryen.
My toy language
Compiler from OCaml to Javascript.
Pure Demand Operational Semantics
😎TT