Rodolphe Lepigre

ocaml-bindlib. Efficient binder representation in OCaml

ocaml-imagelib. The imagelib library implements image formats such as PNG or PPM

subml. SubML (prototype) language

pml. New version of the PML language and (classical) proof assistant

bare-metal-aarch64. Fiddling with aarch64 exception levels on a Raspberry Pi 3.

ocaml-earley. Parsing library based on Earley Algorithm

cwg. Crossword generator, text, LaTeX and HTML backend

ocaml-timed. Timed references for imperative state

ocaml-earley-ocaml. Extensible OCaml parser to be used with Earley

fmodulo. System F modulo

tin171. Python