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

Performant type-checking for python.

A composable build system for OCaml.

Programming Languages Zoo

V2 of Real World OCaml

Universal toplevel for OCaml

the core 0install package

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

A PDF parser and validator

Nanopass for OCaml

OCaml BitTorrent library and client

Pong, the operating system version

Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.

OCaml bindings for libusb-1.0

[WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml

Small page generator (Work in progress)

Artificial Intelligence : A Modern Approach - Ocaml Implementation (Unofficial)

A small brainfuck interpreter (teaching material)