7 open source projects by xavierleroy

Reading and writing zip and gzip files from OCaml

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

String searching with errors, using the Wu-Manber algorithm

Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020

Stub code generator for OCaml/C interface

OCaml/MPI interface