Xavier Leroy

cryptokit. A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

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

camlzip. Reading and writing zip and gzip files from OCaml

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

camlidl. Stub code generator for OCaml/C interface

pringo. A library of splittable pseudo-random number generators for OCaml

coq2html. An HTML documentation generator for Coq source files

ocamlmpi. OCaml/MPI interface

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

camljava. Low-level OCaml/Java interface

secure-computing. Examples of computing over encrypted or private data

arm64-barriers. Performance issues with ARM64 barriers

ocaml. The core OCaml system: compilers, runtime system, base libraries

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

graphics. The Graphics library from OCaml, in a standalone repository

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