Share :

leodemoura

Leonardo de Moura

@leodemoura

Redmond 🇺🇸

Refresh user

Last updated : 08:47AM UTC, Jun 21st 2021

17 - Rank 371 230 🌍

C++

Ranking:

World: 26803 / 201315

United States of America 🇺🇸: 3794 / 22386

Redmond: 50 / 210

2 repositories

#26803
15

Lean

Ranking:

World: 121 / 170

United States of America 🇺🇸: 30 / 38

Redmond: 2 / 2

1 repository

#121
1

TeX

Ranking:

World: 13430 / 23502

United States of America 🇺🇸: 2317 / 3651

Redmond: 14 / 18

1 repository

#13430
1