Share :

xavierleroy

Xavier Leroy

@xavierleroy

Paris, France 🇫🇷

Refresh user

Last updated : 08:06PM UTC, Jun 21st 2021

273 - Rank 58 077 🌍

OCaml

Ranking:

World: 154 / 3227

France 🇫🇷: 19 / 281

Paris: 13 / 145

9 repositories

#154
135

C

Ranking:

World: 6656 / 151074

France 🇫🇷: 204 / 3831

Paris: 63 / 1192

3 repositories

#6656
83

Coq

Ranking:

World: 41 / 737

France 🇫🇷: 6 / 43

Paris: 3 / 21

3 repositories

#41
54

Shell

Ranking:

World: 84720 / 135079

France 🇫🇷: 2680 / 3961

Paris: 841 / 1205

1 repository

#84720
1