Share :

bkomuves

Balazs Komuves

@bkomuves

Budapest, Hungary 🇭🇺

Refresh user

Last updated : 03:40PM UTC, Aug 3rd 2021

75 - Rank 146 138 🌍

Haskell

Ranking:

World: 742 / 11059

Hungary 🇭🇺: 3 / 34

Budapest: 3 / 27

2 repositories

#742
74

Agda

Ranking:

World: 303 / 349

Hungary 🇭🇺: 3 / 3

Budapest: 3 / 3

1 repository

#303
1