Rankings
Badges
/
Saizan
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andrea Vezzosi
@Saizan
Refresh
Open GitHub
null
Profile age: about 16 years
Updated 2 days ago
115 followers • 1 following
Contacts
saizan.github.io
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 3
Persona
Influencer
#191,240
#892,479
#102,910
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
miller
67
1
updated almost 12 years ago • age over 13 years
Agda
100.0%
cubical-demo
45
12
updated over 6 years ago • age over 9 years
Agda
100.0%
parametric-demo
12
0
updated over 6 years ago • age almost 9 years
Agda
100.0%
hottest-talk
7
1
updated over 4 years ago • age over 4 years
Agda
100.0%
hereditary
5
0
updated over 13 years ago • age over 13 years
View all 12 repositories
Last Contributions
2025
ouroboros-leios
2 PRs
+94,754
-237
Jupyter Notebook
29
9
2024
rakuyomi
1 PR
+2
-2
Rust
413
20
44
io-sim
1 PR
+53
-41
Haskell
51
23
ouroboros-leios
~7 PRs
+6,634
-590
Jupyter Notebook
29
9
2023
cborg
3 PRs
+219
-62
Haskell
205
90
View all contributions
Latest Updates
31 Oct 2025
Followers Count:
116
115
17 Oct 2025
Followers Count:
117
116
05 Sep 2025
Followers Count:
116
117
22 Aug 2025
Followers Count:
115
116
13 May 2025
Website Url:
saizan.github.io
04 Jan 2025
First seen
Subscribe to Saizan's GitHub rank updates in your messenger
WhatsApp
Telegram
