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 702 / 994 407
Repos : 4
Stars : 2

c ranking

Aarhus12 / 35
Denmark190 / 533
Worldwide83 802 / 304 593
Repos : 10
Stars : 1

python ranking

Aarhus45 / 75
Denmark598 / 971
Worldwide346 891 / 593 360
Repos : 5
Stars : 0

ruby ranking

Aarhus33 / 40
Denmark525 / 597
Worldwide269 984 / 332 414
Repos : 1
Stars : 0

shell ranking

Aarhus30 / 55
Denmark319 / 598
Worldwide127 554 / 241 351
Repos : 3
Stars : 0

standard_ml ranking

Aarhus4 / 5
Denmark21 / 29
Worldwide945 / 1 356
Repos : 1
Stars : 0

typescript ranking

Aarhus15 / 18
Denmark106 / 132
Worldwide42 517 / 56 981
Repos : 1
Stars : 0

go ranking

Aarhus7 / 12
Denmark117 / 172
Worldwide54 153 / 83 779
Repos : 3
Stars : 0

haskell ranking

Aarhus7 / 9
Denmark74 / 86
Worldwide17 500 / 21 420
Repos : 1
Stars : 0

java ranking

Aarhus40 / 72
Denmark571 / 1 027
Worldwide405 773 / 750 229
Repos : 3
Stars : 0

makefile ranking

Aarhus4 / 7
Denmark25 / 34
Worldwide15 460 / 22 537
Repos : 1
Stars : 0