Share :

aspiwack

Arnaud Spiwack

@aspiwack

Paris 🇫🇷

Refresh user

Last updated : 12:39PM UTC, Jun 19th 2021

82 - Rank 136 950 🌍

Haskell

Ranking:

World: 986 / 11059

France 🇫🇷: 23 / 214

Paris: 6 / 67

4 repositories

#986
48

OCaml

Ranking:

World: 662 / 3227

France 🇫🇷: 74 / 281

Paris: 42 / 145

7 repositories

#662
15

Coq

Ranking:

World: 159 / 737

France 🇫🇷: 15 / 43

Paris: 7 / 21

2 repositories

#159
11

TeX

Ranking:

World: 3947 / 23502

France 🇫🇷: 102 / 628

Paris: 34 / 196

4 repositories

#3947
7

Jupyter Notebook

Ranking:

World: 67601 / 121062

France 🇫🇷: 1135 / 1797

Paris: 518 / 785

1 repository

#67601
1