opam

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 Rocq and Coq-related opam packages organized in various repositories

Turn opam-based OCaml projects into Nix derivations

Streamlining the release of dune packages to opam

An OCaml cross-toolchain for Windows and several useful libraries

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) [maintainer=@Justme0606]

establish trust in community repositories, cryptographically signed by library authors

OCaml Build Infrastructure

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