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 21 hours ago
121 followers • 0 following
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%
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
libraries
1 PR
+24
-27
Dafny
45
25
2022
dafny
~53 PRs
+2,300
-1,762
C#
3,180
285
52
2021
dafny
~111 PRs
+909
-304
C#
3,180
285
52
boogie
3 PRs
+15
-5
Boogie
560
118
172
aws-encryption-sdk
2 PRs
+123
-74
Rust
53
23
6
Show more
