Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

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

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A language that compiles to Bash and Windows Batch

Implementations of various type systems in OCaml.

Programming Languages Zoo

Systems language with linear types and capability-based security.

The Opa Language for Web Application Development

V2 of Real World OCaml

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

OCaml promises and concurrent I/O

Bolt is a language with in-built data-race freedom!

Static types for JSON APIs

Spartan type theory

Automated S-expression conversion

Luml is a type-inferred ML-style language that cross-compiles to Lua

A modern compiler for a virtual language Tiger.