Share :

radrow

RadosΕ‚aw Rowicki

@radrow

Poland, Warsaw πŸ‡΅πŸ‡±

Refresh user

Last updated : 03:41PM UTC, Aug 5th 2021

19 - Rank 344 016 🌍

Haskell

Ranking:

World: 2511 / 11059

Poland πŸ‡΅πŸ‡±: 20 / 124

Warsaw: 8 / 49

4 repositories

#2511
10

Erlang

Ranking:

World: 1346 / 3845

Poland πŸ‡΅πŸ‡±: 25 / 63

Warsaw: 7 / 12

1 repository

#1346
5

Coq

Ranking:

World: 438 / 737

Poland πŸ‡΅πŸ‡±: 4 / 7

Warsaw: 1 / 1

1 repository

#438
2

Scala

Ranking:

World: 12197 / 15533

Poland πŸ‡΅πŸ‡±: 211 / 269

Warsaw: 55 / 66

1 repository

#12197
1

No language

Ranking:

World: 305204 / 531811

Poland πŸ‡΅πŸ‡±: 1472 / 2322

Warsaw: 316 / 467

1 repository

#305204
1