Olivier Nicole's repositories
otini.chnik.fr
My personal website
cps_transform_for_effect_handlers
Adaptation of Hillerström et al.’s transform “Continuation Passing Style for Effect Handlers” to accomodate exception handlers
ocaml-graph500
OCaml 5.0 implementation of the Graph 500 benchmark
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
ctypes_stubs_js
Fork of https://gitlab.com/nomadic-labs/ctypes_stubs_js
flambda-backend
The Flambda backend project for OCaml
home-manager
Manage a user environment using Nix [maintainer=@rycee]
integers_stubs_js
Javascript stubs for the integers library in js_of_ocaml
js_of_ocaml
Compiler from OCaml to Javascript.
ocaml-macros
OCaml with macros
ocaml-tsan-tests
Test suite for the ThreadSanitizer instrumentation in OCaml.
opam-health-check
A toolchain to check for broken opam packages
opam-repository
Main public package repository for opam, the source package manager of OCaml.
ppx_stage
Staged metaprogramming in stock OCaml
sandmark-nightly-config
Configuration files to run sandmark-nightly
test_dynarrays
qcheck-stm tests for OCaml Dynarrays, except they’re for a modified version of qcheck-stm