Fabrice's repositories
ocaml_tsan_icfp
Runtime Detection of Data Races in OCaml with ThreadSanitizer
llvm-project
The 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 http://reviews.llvm.org.
lockfree
Lock-free data structures for multicore OCaml
maiste.github.io
Personal website
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-multicore
Multicore OCaml
ocaml-tsan
Race detection in OCaml using the ThreadSanitizer runtime analysis.
sandmark-nightly-config
Configuration files to run sandmark-nightly
win10_privacy
Windows 10 privacy
mirage
MirageOS is a library operating system that constructs unikernels
mirage-clock
Portable clock implementation for Unix and Xen
mirage-net
Network devices for MirageOS
sandmark
A benchmark suite for the OCaml compiler
solo5
A sandboxed execution environment for unikernels
unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
unikraft-ocaml-example
A bare-unikraft OCaml 5 application
unikraft_docs
The front page and documentation for the Unikraft Open-Source Project.