Popular repositories Loading

1. ocaml-unikraft ocaml-unikraft Public

   OCaml cross-compiler to freestanding Unikraft backends

   5 1

2. mirage-unikraft mirage-unikraft Public

   Unikraft core platform libraries for MirageOS

   OCaml 5 1

3. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript 1

4. ocaml ocaml Public

   Forked from ocaml/ocaml

   The core OCaml system: compilers, runtime system, base libraries

   OCaml 1

5. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   1

6. opam opam Public

   Forked from ocaml/opam

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

   OCaml 1