Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/felixwellen

Badges

Overview
Ranks
Repositories
Languages

Felix Cherubini

@felixwellen

🇸🇪 Gothenburg, Sweden

University of Gothenburg

Profile age: about 9 years

Updated 13 days ago

67 followers • 4 following

Contacts

felix.wellen@posteo.de

http://felix-cherubini.de

Repositories

synthetic-zariski

67

8

updated 7 days ago • age almost 3 years

TeX99.6%

Agda0.2%

Sage0.1%

Shell0.0%

54

3

updated over 3 years ago • age about 9 years

Agda100.0%

synthetic-geometry

25

4

updated over 1 year ago • age over 3 years

3

2

updated about 3 years ago • age over 4 years

TeX87.3%

Agda12.7%

0

0

updated about 2 years ago • age over 6 years

Agda99.8%

Haskell0.1%

Makefile0.0%

agda-learning-group

0

0

updated about 7 years ago • age about 7 years

Agda100.0%

algebra-experiments

0

0

updated over 5 years ago • age almost 6 years

Agda100.0%

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
cubical
1 PR +10-106
Agda
0
0
2022
agda
3 PRs +209-76
Haskell
2,730
387
14
cubical
~47 PRs +197-65
Agda
508
156
8
DSLsofMath
2 PRs +4-4
Haskell
443
54
1
1lab
1 PR +1-1
Agda
403
84