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

Programming language for literate programming law specification

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

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

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

Full Stack ReasonML Tutorials

Contextual types meet mechanized metatheory!

OCaml.org v3 data repository