Rankings
Badges
/
leonardoalt
Rankings
Badges
Overview
Ranks
Repositories
Languages
Leo
@leonardoalt
Refresh
Open GitHub
null
@powdr-labs
Profile age: almost 15 years
Updated 9 days ago
589 followers • 0 following
Contacts
@leonardoalt
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Influencer
#38,997
#141,504
#14,435
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ethereum_formal_verification_overview
335
35
updated 8 months ago • age almost 7 years
yools
138
6
updated over 2 years ago • age over 3 years
SMT
77.5%
Rust
20.8%
Yul
1.7%
fusion
117
5
2
updated over 1 year ago • age almost 3 years
Rust
91.1%
Solidity
7.2%
Shell
1.7%
dl_symb_exec_sol
111
6
updated about 3 years ago • age over 3 years
Solidity
100.0%
tinyzkevm
46
2
updated about 4 years ago • age over 4 years
Python
49.6%
Shell
33.7%
Assembly
16.6%
View all 28 repositories
Last Contributions
2025
powdr
~58 PRs
+38
-27
Rust
474
119
5
womir
2 PRs
+115
-63
WebAssembly
16
5
womir-openvm
~48 PRs
+1,968
-1,447
Rust
5
2
website
~6 PRs
+207
-5
TypeScript
3
1
2024
risc0
1 PR
+4
-0
C++
2,007
653
82
View all contributions
Latest Updates
29 Oct 2025
Followers Count:
592
589
15 Oct 2025
Followers Count:
593
592
17 Sep 2025
Followers Count:
594
593
02 Sep 2025
Followers Count:
593
594
19 Aug 2025
Followers Count:
597
593
12 Jan 2025
First seen
Subscribe to leonardoalt's GitHub rank updates in your messenger
WhatsApp
Telegram
