GitHub repository: jstolarek/inferno
Primary language: OCaml
Description: Mirrored from https://gitlab.inria.fr/fpottier/inferno