niksu/opam-sync-github-prs
Generates an OPAM compiler remote for active GitHub OCaml PRs
Irmin is a distributed database that follows the same design principles as Git
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Generates an OPAM compiler remote for active GitHub OCaml PRs
Website infrastructure for openmirage.org
Regular build logs of Mirage on various OS variants
Functional language for parallel programming