Share :

sergei-romanenko

Sergei Romanenko

@sergei-romanenko

Moscow, Russia 🇷🇺

Refresh user

Last updated : 11:22AM UTC, Jun 22nd 2021

96 - Rank 123 270 🌍

Agda

Ranking:

World: 22 / 349

Russian Federation 🇷🇺: 1 / 2

Moscow: 1 / 1

12 repositories

#22
69

Scala

Ranking:

World: 2035 / 15533

Russian Federation 🇷🇺: 29 / 258

Moscow: 13 / 100

6 repositories

#2035
20

Idris

Ranking:

World: 93 / 311

Russian Federation 🇷🇺: 5 / 9

Moscow: 3 / 3

3 repositories

#93
7