Xavier Leroy's repositories
cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
ocamlagrep
String searching with errors, using the Wu-Manber algorithm
cdf-sem-meca
Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
canonical-binary-tries
Coq development accompanying the paper "Efficient Extensional Binary Tries"
spamoracle
E-mail filter and classifier based on Bayesian learning
ocamltopwin
Historical Win32 application for the OCaml toplevel
experimental
Experiments with Git and Github
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
ocaml-multicore
Multicore OCaml