Share :

maciej-bendkowski

Maciej Bendkowski

@maciej-bendkowski

Kraków, Poland 🇵🇱

Refresh user

Last updated : 11:16PM UTC, Jun 27th 2021

31 - Rank 256 648 🌍

Haskell

Ranking:

World: 1412 / 11059

Poland 🇵🇱: 10 / 124

Krakow: 1 / 21

5 repositories

#1412
27

Python

Ranking:

World: 208084 / 483868

Poland 🇵🇱: 1370 / 3137

Krakow: 139 / 326

1 repository

#208084
3

Coq

Ranking:

World: 568 / 737

Poland 🇵🇱: 6 / 7

Krakow: 1 / 1

1 repository

#568
1