Pinned Repositories
flambda-backend
headcrab
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
obts_exn
OCaml behind the scenes: exceptions
ocaml_tsan_icfp
Runtime Detection of Data Races in OCaml with ThreadSanitizer
ocaml_tsan_talk
uk-ocaml-posix
win10_privacy
Windows 10 privacy
fabbing's Repositories
fabbing/obts_exn
OCaml behind the scenes: exceptions
fabbing/ocaml_tsan_icfp
Runtime Detection of Data Races in OCaml with ThreadSanitizer
fabbing/headcrab
fabbing/ocaml_tsan_talk
fabbing/uk-ocaml-posix
fabbing/flambda-backend
fabbing/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.
fabbing/lockfree
Lock-free data structures for multicore OCaml
fabbing/maiste.github.io
Personal website
fabbing/ocaml
The core OCaml system: compilers, runtime system, base libraries
fabbing/ocaml-multicore
Multicore OCaml
fabbing/ocaml-tsan
Race detection in OCaml using the ThreadSanitizer runtime analysis.
fabbing/playbook
fabbing/sandmark-nightly-config
Configuration files to run sandmark-nightly
fabbing/win10_privacy
Windows 10 privacy
fabbing/ocaml_alloc
fabbing/sandmark
A benchmark suite for the OCaml compiler
fabbing/solo5
A sandboxed execution environment for unikernels
fabbing/unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
fabbing/unikraft-ocaml-example
A bare-unikraft OCaml 5 application
fabbing/unikraft_docs
The front page and documentation for the Unikraft Open-Source Project.