Luc Maranget

hevea. Hevea is a fast latex to html translator

riscv-isa-manual. RISC-V Instruction Set Manual

herdtools7. The Herd toolsuite to deal with .cat memory models (version 7.xx)

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

litmus. Automatically generated litmus tests for validation LISA-language Linux-kernel memory models

opam-repository. Main public package repository for opam, the source package manager of OCaml.