Olivier Nicole

ocaml. The core OCaml system: compilers, runtime system, base libraries

haskell-chess. A very simple chess engine written in Haskell (work in progress).

macros-examples. Examples to illustrate the use of experimental OCaml macros

staged_tpf. Metaprogramming-based deriving

compose. Automated musical imitation

otini.chnik.fr. My personal website

spino. Agda

ppx_stage. Staged metaprogramming in stock OCaml

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