Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

The core OCaml system: compilers, runtime system, base libraries

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

A composable build system for OCaml.

Tidy, feature-complete Web framework

Programming Languages Zoo

🍬 a functional language for building type-safe, scalable, and maintainable applications

A functional programming language based on algebraic effect handlers

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

Concurrent Programming with Effect Handlers

A library for building dynamic webapps, using Js_of_ocaml

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

moved from https://sourceforge.net/p/min-caml/code/

Functional language for parallel programming

Tutorial on Multicore OCaml parallel programming with domainslib

Spartan type theory

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

An embeddable Lua 2.5 interpreter implemented in OCaml

Simple C Compiler in OCaml

Purely functional GUI algebra

The Caml Light implementation of the Caml language

A minimal OCaml project

A monad transformers library for OCaml, based on transformers and mtl