A static analyzer for Java, C, C++, and Objective-C

magic-trace collects and displays high-resolution traces of what a process is doing

Implementations of various type systems in OCaml.

Programming Languages Zoo

Functional language for parallel programming

A proof assistant for general type theories

Jane Street Capital's asynchronous execution library

trivial micro compiler written in OCaml

Bytecode compiler of a variant of Caml

A tutorial on how to write OCaml tactics for the Coq proof assistant

Toy compiler implementation in OCaml

A tiny compiler with IR optimization.