Christophe Raffalli

pacomb. A parsing library that compiles grammars to combinators using elimination of left recursion

simple_httpd. A library to write web server and site

phox. OCaml

gles3. ocaml bindings for gles3

hypersurfaces. A program to compute discretization of smooth hypersurfaces of any dimension and co-dimension

block_sort. A stable sort which is fast on partially sorted lists

normaliser. A normaliser for pure and typed (system F) lambda calculus

sancand.

Python-notebook-tools. OCaml

ModalScp. OCaml

unicodelib. a lightweight unicode library for ocaml

SimpleTypes. OCaml

TemporalBench. Benchmark for temporal logics