Arthur Charguéraud

tlc. Library for Classical Coq

formalmetacoq. Arthur's Formal Metatheory in Coq

optitrust. OptiTrust

cfml. Coq

aosoa-demo. C

ocaml. Trying to improve ocaml type error messages for beginners

re. The Reach Recent Command for Unix

pychunkseq. Chunk Sequence for Python

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