MirageOS is a library operating system that constructs unikernels
A composable build system for OCaml.
opam is a source-based package manager. It supports multiple simultaneou...
A statically-typed, functional typesetting system
Main public package repository for opam, the source package manager of O...
GeneWeb is a free (as in free speech) genealogy software with a web inte...
This project aims at being able to export Kicad v5 Sch files to structur...
Archive for all Coq related OPAM packages organized in various repositories
An OCaml cross-toolchain for Windows and several useful libraries
Streamlining the release of dune packages to opam
An OCaml cross-toolchain for iOS and several useful libraries
🔨 Tool to generate OCaml projects
Docker images of the Coq proof assistant (see also: https://github.com/c...
establish trust in community repositories, cryptographically signed by ...
OCaml Build Infrastructure