Rankings
Badges
/
sstucki
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sandro Stucki
@sstucki
Refresh
Open GitHub
🇸🇪 Gothenburg, Sweden
Profile age: over 13 years
Updated 3 days ago
78 followers • 8 following
Contacts
https://sstucki.github.io
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%
kappa-emacs
5
6
updated over 6 years ago • age over 13 years
Emacs Lisp
100.0%
minion
1
1
updated over 6 years ago • age over 6 years
Scala
99.4%
Shell
0.6%
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
2019
agda-stdlib
1 PR
+18
-6
Agda
629
258
16
agda-categories
~22 PRs
+517
-334
Agda
389
72
12
2018
agda-stdlib
1 PR
+335
-286
Agda
629
258
16
2017
Club
3 PRs
+728
-18
Agda
73
6
2016
scala3
1 PR
+30
-0
Scala
6,127
1,118
182
Show more
