Share :

dogsleg

Lev Lamberov

@dogsleg

Yekaterinburg, Russia 🇷🇺

Refresh user

Last updated : 06:58AM UTC, Jun 21st 2021

3 - Rank 895 379 🌍

Agda

Ranking:

World: 267 / 349

Russian Federation 🇷🇺: 2 / 2

Yekaterinburg: 1 / 1

1 repository

#267
1

Haskell

Ranking:

World: 7406 / 11059

Russian Federation 🇷🇺: 133 / 205

Yekaterinburg: 3 / 5

1 repository

#7406
1

Python

Ranking:

World: 302633 / 483868

Russian Federation 🇷🇺: 3877 / 5874

Yekaterinburg: 105 / 159

1 repository

#302633
1