Share :

limemloh

Emil Holm Gjørup

@limemloh

Aarhus, Denmark 🇩🇰

Refresh user

Last updated : 07:37AM UTC, Jun 25th 2021

28 - Rank 273 202 🌍

Agda

Ranking:

World: 79 / 349

Denmark 🇩🇰: 2 / 6

Aarhus: 1 / 4

2 repositories

#79
14

TypeScript

Ranking:

World: 17453 / 115966

Denmark 🇩🇰: 114 / 464

Aarhus: 14 / 39

4 repositories

#17453
13

Emacs Lisp

Ranking:

World: 6820 / 9408

Denmark 🇩🇰: 51 / 67

Aarhus: 5 / 7

1 repository

#6820
1