favonia

icon indicating a website link https://favonia.org icon indicating an email [email protected]

icon company University of Minnesota icon location Minneapolis, MN, USA icon location Teaching at U of Minnesota

Results 3 repositories owned by favonia

cloudflare-ddns

585
Stars
23
Forks
Watchers

🌟 A small, feature-rich, and robust Cloudflare DDNS updater

verified publisher icon favonia

hdtt2020-notes

34
Stars
5
Forks
Watchers

verified publisher icon favonia

homotopy

24
Stars
2
Forks
Watchers

My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)

verified publisher icon favonia