Xavier Leroy
@xavierleroyProfessor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Language Breakdown
Lines of code distribution across 17 owned repositories
T-Shaped Developer
T-shapedDeep in Coq with broad versatility
Collaboration Network
Global Impact visualization
Repos
31
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Reading and writing zip and gzip files from OCaml
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Stub code generator for OCaml/C interface
A library of splittable pseudo-random number generators for OCaml
An HTML documentation generator for Coq source files
OCaml/MPI interface
Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
String searching with errors, using the Wu-Manber algorithm
Open Source Impact
Contributions to external projects
