Xavier Leroy

icon indicating a website link https://xavierleroy.org/

icon company Collège de France and Inria icon location Paris, France icon location Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Results 11 repositories owned by Xavier Leroy

camlidl

33
Stars
6
Forks
Watchers

Stub code generator for OCaml/C interface

verified publisher icon xavierleroy

camlzip

39
Stars
30
Forks
Watchers

Reading and writing zip and gzip files from OCaml

verified publisher icon xavierleroy

cdf-mech-sem

54
Stars
4
Forks
Watchers

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

verified publisher icon xavierleroy

cdf-program-logics

34
Stars
5
Forks
Watchers

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

verified publisher icon xavierleroy

cdf-sem-meca

18
Stars
4
Forks
Watchers

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

verified publisher icon xavierleroy

coq2html

27
Stars
9
Forks
Watchers

An HTML documentation generator for Coq source files

verified publisher icon xavierleroy

cryptokit

92
Stars
22
Forks
Watchers

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

verified publisher icon xavierleroy

ocamlagrep

24
Stars
2
Forks
Watchers

String searching with errors, using the Wu-Manber algorithm

verified publisher icon xavierleroy

ocamlmpi

23
Stars
12
Forks
Watchers

OCaml/MPI interface

verified publisher icon xavierleroy

pringo

32
Stars
8
Forks
Watchers

A library of splittable pseudo-random number generators for OCaml

verified publisher icon xavierleroy