Rankings
Badges
/
felixwellen
Rankings
Badges
Overview
Ranks
Repositories
Languages
Felix Cherubini
@felixwellen
Refresh
Open GitHub
🇸🇪 Gothenburg, Sweden
University of Gothenburg
Profile age: about 9 years
Updated 12 days ago
67 followers • 4 following
Contacts
felix.wellen@posteo.de
http://felix-cherubini.de
Profile Overview
Global
Sweden
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 3
Persona
Influencer
#179,149
#941,354
#192,186
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
synthetic-zariski
67
8
updated 6 days ago • age almost 3 years
TeX
99.6%
Agda
0.2%
Sage
0.1%
Shell
0.0%
DCHoTT-Agda
54
3
updated over 3 years ago • age about 9 years
Agda
100.0%
synthetic-geometry
24
4
updated over 1 year ago • age over 3 years
HoTT-Vorlesung
3
2
updated about 3 years ago • age over 4 years
TeX
87.3%
Agda
12.7%
cubical
0
0
updated about 2 years ago • age over 6 years
Agda
99.8%
Haskell
0.1%
Makefile
0.0%
View all 7 repositories
Last Contributions
2025
cubical
3 PRs
+376
-1,435
Agda
508
156
8
2024
cubical
1 PR
+8
-0
Agda
508
156
8
DSLsofMath
1 PR
+3
-3
Haskell
443
54
1
www
~6 PRs
+160
-11
Java
6
1
2023
cubical
~15 PRs
+50
-668
Agda
508
156
8
View all contributions
Subscribe to felixwellen's GitHub rank updates in your messenger
WhatsApp
Telegram
