Share :

jozefg

Daniel Gratzer

@jozefg

Aarhus 🇩🇰

Refresh user

Last updated : 12:06AM UTC, Aug 19th 2021

2 262 - Rank 9 118 🌍

No language

Ranking:

World: 743 / 531811

Denmark 🇩🇰: 4 / 1107

Aarhus: 1 / 82

4 repositories

#743
1 543

Haskell

Ranking:

World: 234 / 11059

Denmark 🇩🇰: 2 / 80

Aarhus: 1 / 12

17 repositories

#234
300

OCaml

Ranking:

World: 115 / 3227

Denmark 🇩🇰: 4 / 29

Aarhus: 2 / 5

2 repositories

#115
184

Standard ML

Ranking:

World: 9 / 570

Denmark 🇩🇰: 4 / 14

Aarhus: 1 / 2

9 repositories

#9
147

TeX

Ranking:

World: 765 / 23502

Denmark 🇩🇰: 4 / 143

Aarhus: 1 / 20

10 repositories

#765
57

Emacs Lisp

Ranking:

World: 1235 / 9408

Denmark 🇩🇰: 7 / 67

Aarhus: 3 / 7

2 repositories

#1235
26

HTML

Ranking:

World: 71554 / 267554

Denmark 🇩🇰: 224 / 661

Aarhus: 15 / 49

1 repository

#71554
3

Agda

Ranking:

World: 248 / 349

Denmark 🇩🇰: 5 / 6

Aarhus: 4 / 4

1 repository

#248
2