An open-source operating system for constructing secure, high-performance, reliable network applications across a variety of cloud computing and mobile platforms.

An ML-to-Scheme compiler, initially written by and few decades ago.

Camlp4 syntax extensions to write static HTML and CSS files directly in OCaml. These tools have been used to write the page you are reading.

A collection of tools using dynamic types in OCaml. Dyntype is a Camlp4 extension adding dynamic types to OCaml. ORM uses dynamic types to provide a complete and efficient Object-Relationship Mapping to SQlite3 for OCaml. Shelf uses dynamic types to provide a collection of parsers and printers to JSON, S-expressions, HTML, ...