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
Repositories
cloudflare-ddns
2,046
79
34
updated 16 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 over 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
pulse
Archived
6
2
updated almost 7 years ago • age over 13 years
Haskell
100.0%
latedays
Archived
2
1
3
updated over 2 years ago • age about 4 years
TypeScript
100.0%
zink
Archived
0
0
updated over 2 years ago • age about 4 years
Go
100.0%
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
agda-mugen
~8 PRs
+423
-67
Agda
19
1
1
dots
1 PR
+2
-7
Shell
3
1
docker-stack
1 PR
+1
-3
Shell
2
0
8
homelab-iac-ansible
1 PR
+2
-9
Jinja
1
0
ansible
1 PR
+1
-6
CSS
1
1
Show more
