Rankings
Badges
/
favonia
Rankings
Badges
Overview
Ranks
Repositories
Languages
favonia
@favonia
Refresh
Open GitHub
🇺🇸 Minneapolis, MN, USA
University of Minnesota
Profile age: over 13 years
Updated 6 days ago
318 followers • 64 following
Contacts
favonia@gmail.com
https://favonia.org
@favonia@mathstodon.xyz
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 5
Persona
Creator
#17,419
#80,883
#30,547
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
cloudflare-ddns
2,046
79
34
updated 15 days ago • age over 4 years
Go
99.7%
Dockerfile
0.3%
hdtt2020-notes
Archived
36
5
updated about 4 years ago • age almost 6 years
TeX
100.0%
homotopy
Archived
26
2
updated about 11 years ago • age over 13 years
Agda
100.0%
ocaml-objdump
7
0
updated 3 months ago • age over 3 years
OCaml
100.0%
cbpv
Archived
6
0
updated almost 10 years ago • age over 13 years
View all 8 repositories
Last Contributions
2025
asai
1 PR
+8
-0
OCaml
47
2
5
2024
1lab
~11 PRs
+253
-89
Agda
403
85
asai
~22 PRs
+13
-5
OCaml
47
2
5
mugen
2 PRs
+506
-325
OCaml
35
1
1
yuujinchou
4 PRs
+118
-32
OCaml
26
4
11
View all contributions
Latest Updates
09 Nov 2025
Followers Count:
317
318
25 Oct 2025
Followers Count:
315
317
30 Aug 2025
Followers Count:
313
315
04 Jan 2025
First seen
Subscribe to favonia's GitHub rank updates in your messenger
WhatsApp
Telegram
