Share :

divipp

Péter Diviánszky

@divipp

Budapest 🇭🇺

Refresh user

Last updated : 12:04AM UTC, Sep 16th 2021

202 - Rank 73 119 🌍

Haskell

Ranking:

World: 376 / 11059

Hungary 🇭🇺: 2 / 34

Budapest: 2 / 27

10 repositories

#376
178

Agda

Ranking:

World: 64 / 349

Hungary 🇭🇺: 1 / 3

Budapest: 1 / 3

1 repository

#64
21

Mathematica

Ranking:

World: 576 / 1645

Hungary 🇭🇺: 3 / 3

Budapest: 2 / 2

1 repository

#576
3