Share :

fpottier

François Pottier

@fpottier

Paris, France 🇫🇷

Refresh user

Last updated : 12:12AM UTC, Aug 11th 2021

37 - Rank 230 498 🌍

OCaml

Ranking:

World: 583 / 3227

France 🇫🇷: 62 / 281

Paris: 35 / 145

1 repository

#583
20

Coq

Ranking:

World: 124 / 737

France 🇫🇷: 12 / 43

Paris: 6 / 21

2 repositories

#124
15

JavaScript

Ranking:

World: 430403 / 547136

France 🇫🇷: 9072 / 10919

Paris: 2822 / 3328

1 repository

#430403
1

Shell

Ranking:

World: 110929 / 135079

France 🇫🇷: 3367 / 3961

Paris: 1028 / 1205

1 repository

#110929
1