Rankings
Badges
/
xavierleroy
Rankings
Badges
Overview
Ranks
Repositories
Languages
Xavier Leroy
@xavierleroy
Refresh
Open GitHub
🇫🇷 Paris, France
Collège de France and Inria
Profile age: over 12 years
Updated 2 days ago
812 followers • 0 following
Contacts
https://xavierleroy.org/
Profile Overview
Global
France
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#68,984
#556,239
#9,618
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
cryptokit
103
26
10
updated 9 months ago • age almost 9 years
C
53.3%
OCaml
46.6%
Dune
0.1%
cdf-mech-sem
68
4
updated over 1 year ago • age about 5 years
Coq
100.0%
camlzip
42
32
7
updated 3 months ago • age almost 9 years
OCaml
84.7%
C
8.2%
Shell
3.7%
Makefile
3.4%
cdf-program-logics
40
7
updated over 4 years ago • age over 4 years
Coq
100.0%
pringo
35
8
5
updated 9 months ago • age about 8 years
OCaml
80.2%
C
16.1%
Makefile
3.7%
View all 16 repositories
Last Contributions
2025
ocaml
1 PR
+32
-17
OCaml
5,967
1,173
38
CompCert
2 PRs
+164
-47
Rocq Prover
2,032
239
22
opam-repository
3 PRs
+114
-0
555
1,201
opam
1 PR
+56
-0
OCaml
149
174
graphics
1 PR
+2
-0
C
73
32
6
View all contributions
Latest Updates
17 Sep 2025
Followers Count:
808
812
03 Sep 2025
Followers Count:
801
808
20 Aug 2025
Followers Count:
798
801
06 Aug 2025
Followers Count:
796
798
23 Jul 2025
Followers Count:
795
796
06 Jan 2025
First seen
Subscribe to xavierleroy's GitHub rank updates in your messenger
WhatsApp
Telegram
