A composable build system for OCaml.

Archive for all Coq related OPAM packages organized in various repositories

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

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

An opam repository for publishing ocaml packages

Turn opam-based OCaml projects into Nix derivations

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

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

A statically-typed, functional typesetting system

Custom OPAM repository for external libraries of SATySFi

MirageOS is a library operating system that constructs unikernels

An OCaml cross-toolchain for iOS and several useful libraries

An OCaml cross-toolchain for Windows and several useful libraries

Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)

Docker images of coq-mathcomp [maintainer=@erikmd]

Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components

establish trust in community repositories, cryptographically signed by library authors

Nix integration for OPAM packages

Regression Testing framework for opam

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]