MirageMirageOS is a library operating system that constructs unikernels
chalk🖍️🎨Composable and simple terminal highlighting package for OCaml.
mkocaml🔨 Tool to generate OCaml projects
conexestablish trust in community repositories, cryptographically signed by library authors
opam-coq-archiveArchive for all Coq related OPAM packages organized in various repositories
opam-cross-iosAn OCaml cross-toolchain for iOS and several useful libraries
xs-opamOpam repository for OCaml libraries to build Citrix Hypervisor toolstack components