Share :

Blaisorblade

Paolo G. Giarrusso

@Blaisorblade

Berlin, Germany 🇩🇪

Refresh user

Last updated : 07:15PM UTC, Jun 17th 2021

93 - Rank 125 877 🌍

Scala

Ranking:

World: 1553 / 15533

Germany 🇩🇪: 101 / 821

Berlin: 35 / 293

7 repositories

#1553
31

Coq

Ranking:

World: 76 / 737

Germany 🇩🇪: 3 / 26

Berlin: 1 / 3

6 repositories

#76
29

Agda

Ranking:

World: 93 / 349

Germany 🇩🇪: 3 / 21

Berlin: 2 / 8

1 repository

#93
11

Haskell

Ranking:

World: 2379 / 11059

Germany 🇩🇪: 140 / 536

Berlin: 37 / 145

3 repositories

#2379
11

Shell

Ranking:

World: 40571 / 135079

Germany 🇩🇪: 2339 / 6446

Berlin: 609 / 1542

2 repositories

#40571
4

Java

Ranking:

World: 112933 / 311069

Germany 🇩🇪: 4189 / 8882

Berlin: 864 / 1793

1 repository

#112933
3

TeX

Ranking:

World: 6986 / 23502

Germany 🇩🇪: 465 / 1346

Berlin: 65 / 229

2 repositories

#6986
3

C

Ranking:

World: 88204 / 151074

Germany 🇩🇪: 3445 / 5126

Berlin: 716 / 1056

1 repository

#88204
1