Rankings
Badges
/
awswan
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andrew Swan
@awswan
Refresh
Open GitHub
🇸🇮 Ljubljana
University of Ljubljana
Profile age: over 8 years
Updated 12 days ago
18 followers • 0 following
Contacts
wakelin.swan@gmail.com
https://awswan.github.io/
@aws@mathstodon.xyz
Profile Overview
Global
Slovenia
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 3
Persona
Influencer
#587,240
#1,350,024
#783,487
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
oraclemodality
14
0
updated over 1 year ago • age about 3 years
Agda
100.0%
higher-computability
8
0
updated 10 months ago • age over 1 year
Agda
100.0%
HoTT-Agda
2
2
updated 11 months ago • age about 5 years
Agda
99.9%
Shell
0.1%
Last Contributions
2025
cubical
1 PR
+1
-1
Agda
512
156
8
2024
cubical
3 PRs
+251
-30
Agda
512
156
8
llm
1 PR
+161
-38
Emacs Lisp
346
36
41
TypeTopology
3 PRs
+402
-35
Agda
261
51
2023
cubical
2 PRs
+18
-2
Agda
512
156
8
View all contributions
Subscribe to awswan's GitHub rank updates in your messenger
WhatsApp
Telegram
