Xavier Leroy (@xavierleroy)
github

xavierleroy

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    461
  • Global Rank 62,055 (Top 3 %)
  • Followers 740
  • Registered over 11 years ago
  • Most used languages
    OCaml
         46.7 %
    Coq     26.7 %
    C
         20.0 %
    Assembly
         6.7 %
  • Location 🇫🇷 France
  • Country Total Rank 1,805
  • Country Ranking
    Coq     4
    OCaml
         20
    Assembly
         144
    C
         234

Top repositories

1

cryptokit

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
C
97
star
2

cdf-mech-sem

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

camlzip

Reading and writing zip and gzip files from OCaml
OCaml
40
star
4

cdf-program-logics

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

pringo

A library of splittable pseudo-random number generators for OCaml
OCaml
34
star
6

camlidl

Stub code generator for OCaml/C interface
OCaml
33
star
7

coq2html

An HTML documentation generator for Coq source files
OCaml
28
star
8

ocamlagrep

String searching with errors, using the Wu-Manber algorithm
OCaml
24
star
9

ocamlmpi

OCaml/MPI interface
OCaml
24
star
10

cdf-sem-meca

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

canonical-binary-tries

Coq development accompanying the paper "Efficient Extensional Binary Tries"
Coq
19
star
12

spamoracle

E-mail filter and classifier based on Bayesian learning
OCaml
15
star
13

camljava

Low-level OCaml/Java interface
C
14
star
14

ocamltopwin

Historical Win32 application for the OCaml toplevel
C
5
star
15

arm64-barriers

Performance issues with ARM64 barriers
Assembly
3
star
16

experimental

Experiments with Git and Github
1
star