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 simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

A statically-typed, functional typesetting system

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.

This project aims at being able to export Kicad v5 Sch files to structured picture files

Archive for all Coq related OPAM packages organized in various repositories

Streamlining the release of dune packages to opam

An OCaml cross-toolchain for Windows and several useful libraries

Turn opam-based OCaml projects into Nix derivations

An OCaml cross-toolchain for Android and several useful libraries

Learn Ocaml by reading code examples

An OCaml cross-toolchain for iOS and several useful libraries

🔨 Tool to generate OCaml projects

Package manager for SATySFi

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

establish trust in community repositories, cryptographically signed by library authors

OCaml Build Infrastructure

🖍️🎨Composable and simple terminal highlighting package for OCaml.