-
ocaml-solo5 Public
Forked from mirage/ocaml-solo5Freestanding OCaml runtime
C Other UpdatedNov 25, 2025 -
-
mirage-skeleton Public
Forked from mirage/mirage-skeletonExamples of simple MirageOS apps
OCaml The Unlicense UpdatedNov 17, 2025 -
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedNov 6, 2025 -
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedOct 23, 2025 -
ocaml-unikraft Public
OCaml cross-compiler to freestanding Unikraft backends
-
patch Public
Forked from hannesm/patchline based patch, input is a unified diff
OCaml Other UpdatedOct 15, 2025 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
-
-
unikraft Public
Forked from unikraft/unikraftA next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
C Other UpdatedSep 22, 2025 -
-
llvm-project Public
Forked from ocaml-flambda/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
C++ Other UpdatedSep 11, 2025 -
mirage Public
Forked from mirage/mirageMirageOS is a library operating system that constructs unikernels
OCaml ISC License UpdatedSep 4, 2025 -
mirage-mtime Public
Forked from fabbing/mirage-mtimeMonotonic time for MirageOS
OCaml Other UpdatedSep 1, 2025 -
mirage-sleep Public
Forked from fabbing/mirage-sleepSleep related functions for MirageOS
OCaml ISC License UpdatedSep 1, 2025 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedJul 3, 2025 -
mirage-unikraft-overlays Public
Forked from Firobe/mirage-unikraft-overlaysOCaml UpdatedJul 2, 2025 -
opam-monorepo Public
Forked from tarides/opam-monorepoAssemble dune workspaces to build your project and its dependencies as a whole
OCaml ISC License UpdatedJun 25, 2025 -
mirage-block-unikraft Public
Forked from fabbing/mirage-block-unikraftUnikraft implementation of MirageOS block interface - Archive
C BSD 3-Clause "New" or "Revised" License UpdatedJun 19, 2025 -
mirage-unikraft Public
Unikraft core platform libraries for MirageOS
-
mirage-crypto Public
Forked from mirage/mirage-cryptoCryptographic primitives for OCaml, in OCaml (also used in MirageOS)
C ISC License UpdatedJun 18, 2025 -
-
-
-
lib-musl Public
Forked from unikraft/lib-muslmusl: A C standard library
C Other UpdatedMay 12, 2025 -
multicoretests Public
Forked from ocaml-multicore/multicoretestsPBT testsuite and libraries for testing multicore OCaml
OCaml BSD 2-Clause "Simplified" License UpdatedApr 23, 2025 -
-
mirage-ptime Public
Forked from fabbing/mirage-ptimePOSIX time functions for MirageOS
OCaml Other UpdatedMar 6, 2025 -
opam-dune-overlays Public
Forked from ocaml-dune/opam-overlaysDune's overlay of the opam repository
UpdatedMar 6, 2025