Share :

reynir

Reynir Björnsson

@reynir

Århus, Denmark 🇩🇰

Refresh user

Last updated : 08:05PM UTC, Jun 17th 2021

119 - Rank 106 597 🌍

OCaml

Ranking:

World: 245 / 3227

Denmark 🇩🇰: 8 / 29

Aarhus: 3 / 5

13 repositories

#245
78

Coq

Ranking:

World: 102 / 737

Denmark 🇩🇰: 4 / 13

Aarhus: 3 / 8

1 repository

#102
20

Idris

Ranking:

World: 55 / 311

Denmark 🇩🇰: 2 / 6

Aarhus: 1 / 3

1 repository

#55
18

JavaScript

Ranking:

World: 289302 / 547136

Denmark 🇩🇰: 961 / 1627

Aarhus: 70 / 129

1 repository

#289302
2

C

Ranking:

World: 88280 / 151074

Denmark 🇩🇰: 326 / 498

Aarhus: 26 / 40

1 repository

#88280
1