Adds static typing to JavaScript to improve developer productivity and code quality.

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…

Context sensitive completion for OCaml in Vim and Emacs

Implementations of various type systems in OCaml.

Programming Languages Zoo

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Standard library for OCaml

Universal toplevel for OCaml

A functional programming language based on algebraic effect handlers

The Sparrow Static Analyzer

A Unicode library for OCaml

OCaml Math Library