Rankings
Badges
/
RustanLeino
Rankings
Badges
Overview
Ranks
Repositories
Languages
Rustan Leino
@RustanLeino
Refresh
Open GitHub
🇺🇸 Seattle, WA, USA
Amazon Web Services
Profile age: over 10 years
Updated about 18 hours ago
121 followers • 0 following
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 3
Persona
Influencer
N/A
#950,898
#97,074
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
dafny
3
0
1
updated 9 months ago • age over 6 years
C#
61.5%
Dafny
33.1%
Java
2.3%
F#
2.1%
Go
1.0%
Last Contributions
2025
dafny
~17 PRs
+252
-18
C#
3,180
285
52
2024
dafny
~56 PRs
+5,077
-1,813
C#
3,180
285
52
libraries
1 PR
+160
-162
Dafny
45
25
2023
dafny
~57 PRs
+1,505
-919
C#
3,180
285
52
boogie
1 PR
+28
-12
Boogie
560
118
172
View all contributions
Latest Updates
04 Nov 2025
Followers Count:
119
121
20 Oct 2025
Followers Count:
120
119
06 Oct 2025
Followers Count:
119
120
21 Sep 2025
Followers Count:
117
119
08 Aug 2025
Followers Count:
115
117
08 Jan 2025
First seen
Subscribe to RustanLeino's GitHub rank updates in your messenger
WhatsApp
Telegram
