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

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

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

OxCaml opam repository

mirror of precious opam repository packages whose source websites have disappeared

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

The OCaml findlib library manager

Python library for the Tessera embeddings

Microsoft Visual Studio Helper Scripts (OCaml)

OCaml interface for creating Dockerfiles

Programming language for literate programming law specification

The Flambda backend project for OCaml

Bindings to io_uring for OCaml

Stdcompat: compatibility module for OCaml standard library

Lookup and load installed OCaml modules

OCaml library implementing BitMasks over int and int64 exposed as sets

Design discussions about the OCaml language

OCamlbuild

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…

The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution

Ocaml SHA 1 and 2 family implementation using a really fast C implementation

A composable build system for OCaml

Base library and tools for ppx rewriters

The Microsoft community Windows Package Manager manifest repository