A formalization of continuation-passing style calculi in Coq [WIP]

A proof assistant for higher-dimensional type theory

An HTTP/2 implementation written in pure OCaml

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

OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.

OCaml bindings to the FFmpeg library.

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Design discussions about the OCaml language

BandChain - Decentralized Data Delivery Network

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

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

pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

Github action for esy

Less redundancy in type declarations and signatures

Type-driven code generation for OCaml

Fetch libraries/interface for Reason/OCaml

👷 TypeScript's largest type utility library