OCaml dune linting demos
These demos are associated with my blog post "OCaml linting tools and techniques". In particular, the Ppxlib techniques table gives an overview of the demos in this repository.
A generative datatype toolkit for OCaml centric workflows
OCaml promises and concurrent I/O
😎TT
Multicore OCaml
This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
The core OCaml system: compilers, runtime system, base libraries
Mostly Automated Proof Repair for Verified Libraries
Simple, efficient iterators for OCaml
Docusaurus website maintaining notes about the OCaml compiler's internals
Compiler from OCaml to Javascript.
A lightweight and colourful test framework
OCaml<->Rust FFI with an emphasis on safety.
Code coverage for OCaml and ReScript
Parser combinators built for speed and memory efficiency
Starter code for developing Ocaml for CS442 at UWaterloo