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

QuickCheck inspired property-based testing for OCaml.

mirror of precious opam repository packages whose source websites have disappeared

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…

A composable build system for OCaml.

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

A lightweight and colourful test framework

A collection of tools for generating, manipulating and - most of all - solving parity games.

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

Elm-inspired decoders for Ocaml

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Static analysis framework for C

Basic statistics library

Runtime assertion checking based on Gospel specifications

Parallel Programming over Domains

Server-side of the next version of the ocaml.org website. See https://github.com/ocaml/v3.ocaml.org for the frontend.

Multi-platform CI for the OCaml compiler

a dlopen-like API for Windows

OKR report aggregation tool

ligand-based virtual screening with consensus queries

Configuration files to run sandmark-nightly