Share :

guillaumebrunerie

Guillaume Brunerie

@guillaumebrunerie

Stockholm, Sweden 🇸🇪

Refresh user

Last updated : 01:20AM UTC, Jun 21st 2021

87 - Rank 132 023 🌍

Agda

Ranking:

World: 35 / 349

Sweden 🇸🇪: 3 / 10

Stockholm: 1 / 2

3 repositories

#35
46

Shell

Ranking:

World: 16624 / 135079

Sweden 🇸🇪: 202 / 1454

Stockholm: 56 / 474

2 repositories

#16624
16

JavaScript

Ranking:

World: 90061 / 547136

Sweden 🇸🇪: 1014 / 4378

Stockholm: 370 / 1500

2 repositories

#90061
12

Coq

Ranking:

World: 163 / 737

Sweden 🇸🇪: 4 / 9

Stockholm: 3 / 3

1 repository

#163
11

C

Ranking:

World: 74002 / 151074

Sweden 🇸🇪: 797 / 1376

Stockholm: 236 / 413

1 repository

#74002
2