Share :

jdrprod

Arthur Correnson

@jdrprod

Rennes 🇫🇷

Refresh user

Last updated : 10:57AM UTC, Jun 26th 2021

81 - Rank 137 952 🌍

OCaml

Ranking:

World: 353 / 3227

France 🇫🇷: 43 / 281

Rennes: 1 / 9

9 repositories

#353
44

Coq

Ranking:

World: 140 / 737

France 🇫🇷: 14 / 43

Rennes: 1 / 2

3 repositories

#140
13

C

Ranking:

World: 31093 / 151074

France 🇫🇷: 917 / 3831

Rennes: 18 / 69

3 repositories

#31093
8

Rust

Ranking:

World: 8462 / 27091

France 🇫🇷: 286 / 791

Rennes: 3 / 11

1 repository

#8462
8

Python

Ranking:

World: 194434 / 483868

France 🇫🇷: 3949 / 8459

Rennes: 65 / 137

2 repositories

#194434
3

No language

Ranking:

World: 148674 / 531811

France 🇫🇷: 2402 / 6904

Rennes: 38 / 77

2 repositories

#148674
2

JavaScript

Ranking:

World: 350058 / 547136

France 🇫🇷: 7896 / 10919

Rennes: 123 / 167

1 repository

#350058
1

Processing

Ranking:

World: 2022 / 3675

France 🇫🇷: 54 / 94

Rennes: 2 / 2

1 repository

#2022
1

TeX

Ranking:

World: 14749 / 23502

France 🇫🇷: 420 / 628

Rennes: 17 / 17

1 repository

#14749
1