Share :

andrejtokarcik

Andrej Tokarčík

@andrejtokarcik

Bratislava, Slovakia 🇸🇰

Refresh user

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

6 - Rank 686 526 🌍

Agda

Ranking:

World: 175 / 349

Slovakia 🇸🇰: 1 / 1

Bratislava: 1 / 1

1 repository

#175
4

Python

Ranking:

World: 255823 / 483868

Slovakia 🇸🇰: 161 / 272

Bratislava: 54 / 91

1 repository

#255823
2