Thomas Braibant

coq-tutorial-ml-tactics. A tutorial on how to write OCaml tactics for the Coq proof assistant

Synthesis. Coq

articheck. TeX

ocaml-lmdb. OCaml

exploit-plugin. An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins

ocaml-windows-bootstrap. Shell

Timing-plugin. A Coq plugin that allows a user to start and stop timers.

opam. OCaml

icfp-contest-2014. OCaml

ocaml-bitarray. OCaml

invert. OCaml

invert_paper.

hash-consing-coq. Coq

windows-opam-repository.

ocaml-ctypes. Library for binding to C libraries using pure OCaml

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

advent-of-code. Rust