348527?v=4

reynir

Aarhus

Denmark

Tweet your ranking

Refresh your profile

ocaml ranking

Aarhus1 / 2
Denmark3 / 25
Worldwide301 / 5 321
Repos : 45
Stars : 48

idris ranking

Aarhus1 / 2
Denmark2 / 5
Worldwide35 / 336
Repos : 2
Stars : 24

coq ranking

Aarhus2 / 3
Denmark3 / 12
Worldwide94 / 979
Repos : 1
Stars : 14

javascript ranking

Aarhus57 / 158
Denmark583 / 1 888
Worldwide229 747 / 994 791
Repos : 4
Stars : 2

c ranking

Aarhus12 / 35
Denmark190 / 533
Worldwide83 811 / 304 653
Repos : 10
Stars : 1

python ranking

Aarhus45 / 75
Denmark598 / 971
Worldwide347 002 / 593 524
Repos : 5
Stars : 0

ruby ranking

Aarhus33 / 40
Denmark525 / 597
Worldwide270 080 / 332 526
Repos : 1
Stars : 0

shell ranking

Aarhus30 / 55
Denmark319 / 598
Worldwide127 592 / 241 417
Repos : 3
Stars : 0

standard_ml ranking

Aarhus4 / 5
Denmark21 / 29
Worldwide946 / 1 357
Repos : 1
Stars : 0

typescript ranking

Aarhus15 / 18
Denmark106 / 132
Worldwide42 520 / 56 989
Repos : 1
Stars : 0

go ranking

Aarhus7 / 12
Denmark117 / 172
Worldwide54 166 / 83 800
Repos : 3
Stars : 0

haskell ranking

Aarhus7 / 9
Denmark74 / 86
Worldwide17 504 / 21 426
Repos : 1
Stars : 0

java ranking

Aarhus40 / 72
Denmark571 / 1 027
Worldwide405 929 / 750 431
Repos : 3
Stars : 0

makefile ranking

Aarhus4 / 7
Denmark25 / 34
Worldwide15 463 / 22 544
Repos : 1
Stars : 0