-
mirage Public
Forked from mirage/mirageMirageOS is a library operating system that constructs unikernels
OCaml ISC License UpdatedSep 13, 2024 -
-
mirage-clock Public
Forked from mirage/mirage-clockPortable clock implementation for Unix and Xen
OCaml Other UpdatedJul 30, 2024 -
-
unikraft-ocaml-example Public
Forked from TheLortex/unikraft-ocaml-exampleA bare-unikraft OCaml 5 application
OCaml UpdatedJul 15, 2024 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedJul 12, 2024 -
unikraft Public
Forked from unikraft/unikraftUnikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
C Other UpdatedJun 17, 2024 -
llvm-project Public
Forked from llvm/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…
Other UpdatedApr 18, 2024 -
-
unikraft_docs Public
Forked from unikraft/docsThe front page and documentation for the Unikraft Open-Source Project.
MDX Other UpdatedMar 15, 2024 -
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedFeb 6, 2024 -
ocaml_tsan_icfp Public
Runtime Detection of Data Races in OCaml with ThreadSanitizer
-
obts_exn Public
OCaml behind the scenes: exceptions
-
maiste.github.io Public
Forked from maiste/maiste.frPersonal website
SCSS MIT License UpdatedAug 7, 2023 -
-
sandmark Public
Forked from ocaml-bench/sandmarkA benchmark suite for the OCaml compiler
Jupyter Notebook The Unlicense UpdatedJun 9, 2023 -
-
ocaml-tsan Public
Forked from ocaml-multicore/ocaml-tsanRace detection in OCaml using the ThreadSanitizer runtime analysis.
OCaml Other UpdatedMar 16, 2023 -
-
-
win10_privacy Public
Windows 10 privacy
PowerShell GNU General Public License v3.0 UpdatedJan 5, 2023 -
sandmark-nightly-config Public
Forked from ocaml-bench/sandmark-nightly-configConfiguration files to run sandmark-nightly
Makefile UpdatedDec 19, 2022 -
lockfree Public
Forked from ocaml-multicore/saturnLock-free data structures for multicore OCaml
OCaml ISC License UpdatedDec 1, 2022 -
ocaml-multicore Public
Forked from ocaml-multicore/ocaml-multicoreMulticore OCaml
OCaml Other UpdatedMar 2, 2022 -
mirage-net Public
Forked from mirage/mirage-netNetwork devices for MirageOS
OCaml ISC License UpdatedNov 18, 2021