Rankings
Badges
/
sstucki
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sandro Stucki
@sstucki
Refresh
Open GitHub
🇸🇪 Gothenburg, Sweden
Profile age: over 13 years
Updated 2 days ago
78 followers • 8 following
Contacts
https://sstucki.github.io
Profile Overview
Global
Sweden
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 4
Persona
Influencer
#167,833
#775,629
#159,836
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
system-f-agda
72
8
updated over 6 years ago • age over 10 years
Agda
100.0%
odds
34
8
updated over 11 years ago • age over 12 years
Scala
100.0%
pts-agda
27
6
updated 4 months ago • age over 9 years
Agda
100.0%
f-omega-int-agda
14
3
updated about 1 year ago • age over 8 years
Agda
100.0%
lms-kappa
8
3
updated about 10 years ago • age almost 13 years
Scala
100.0%
View all 7 repositories
Last Contributions
2023
agda-categories
1 PR
+519
-0
Agda
389
72
12
2022
agda-stdlib
1 PR
+248
-2
Agda
629
258
16
KBOS
1 PR
+19
-12
Shell
147
17
2021
agda-categories
~17 PRs
+355
-342
Agda
389
72
12
2020
agda-categories
~30 PRs
+919
-158
Agda
389
72
12
View all contributions
Latest Updates
18 Oct 2025
Followers Count:
77
78
11 Jul 2025
Followers Count:
75
77
02 Jan 2025
First seen
Subscribe to sstucki's GitHub rank updates in your messenger
WhatsApp
Telegram
