Rankings
Badges
/
leodemoura
Rankings
Badges
Overview
Ranks
Repositories
Languages
Leonardo de Moura
@leodemoura
Refresh
Open GitHub
🇺🇸 Seattle
AWS
Profile age: almost 13 years
Updated 7 days ago
712 followers • 3 following
Contacts
leodemoura0@gmail.com
http://leodemoura.github.io/
in/leonardo-de-moura-26a27b5
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Influencer
#703,961
#783,332
#11,330
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
lean
15
2
updated over 7 years ago • age over 11 years
C++
75.2%
Lean
22.6%
CMake
1.0%
C
0.9%
Shell
0.3%
APPA
2
1
updated almost 11 years ago • age over 11 years
TeX
100.0%
leodemoura.github.com
0
1
updated about 1 year ago • age about 12 years
HTML
56.2%
TeX
36.7%
CSS
7.1%
Last Contributions
2025
lean4
~661 PRs
+1,027
-441
Lean
6,572
677
92
2024
lean4
~345 PRs
+696
-177
Lean
6,572
677
92
batteries
4 PRs
+739
-327
Lean
333
126
29
LNSym
1 PR
+10
-10
Lean
87
22
2023
lean4
2 PRs
+187,998
-80,350
Lean
6,572
677
92
View all contributions
Latest Updates
17 Oct 2025
Followers Count:
711
712
03 Oct 2025
Followers Count:
706
711
19 Sep 2025
Followers Count:
684
706
05 Sep 2025
Followers Count:
680
684
21 Aug 2025
Followers Count:
674
680
09 Jan 2025
First seen
Subscribe to leodemoura's GitHub rank updates in your messenger
WhatsApp
Telegram
