Share :

MathiasVP

Mathias Vorreiter Pedersen

@MathiasVP

Aarhus, Denmark 🇩🇰

Refresh user

Last updated : 12:45AM UTC, Jun 25th 2021

141 - Rank 94 698 🌍

JavaScript

Ranking:

World: 25004 / 547136

Denmark 🇩🇰: 132 / 1627

Aarhus: 8 / 129

1 repository

#25004
82

C++

Ranking:

World: 17594 / 201315

Denmark 🇩🇰: 69 / 560

Aarhus: 10 / 52

2 repositories

#17594
28

Coq

Ranking:

World: 171 / 737

Denmark 🇩🇰: 5 / 13

Aarhus: 4 / 8

2 repositories

#171
10

Haskell

Ranking:

World: 2642 / 11059

Denmark 🇩🇰: 25 / 80

Aarhus: 4 / 12

4 repositories

#2642
9

Idris

Ranking:

World: 90 / 311

Denmark 🇩🇰: 4 / 6

Aarhus: 2 / 3

1 repository

#90
8

Standard ML

Ranking:

World: 144 / 570

Denmark 🇩🇰: 6 / 14

Aarhus: 2 / 2

1 repository

#144
4