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

Packages for Typst.

A markup-based typesetting system that is powerful and easy to learn.

A simple package to format Backus-Naur form

Create Gantt charts in Typst

nxn compiler (one-off experiment on someone else's project)

A Git-compatible DVCS that is both simple and powerful

Design discussions about the OCaml language

A derivation explorer and logger for menhir parser

A cooperative threads library for OCaml.

Less redundancy in type declarations and signatures

pc-letter: A simple letter template for personal correspondence.

Symbolic execution for Wasm, C, C++, Rust and Zig

Progress bar library for OCaml

a small, simple block-backed key-value store for MirageOS

A composable build system for OCaml.

OCamlbuild

A tool to check Typst packages

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A tool for archiving and displaying Zulip chat channels.

Main public package repository for OPAM, the source package manager of OCaml.

Coq Enhancement Proposals

Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-set-ghc-gc-pick-two/

Sources files of the coq.inria.fr website (static part)

Investigation of a slow loop issue with OCaml 5