Discover @favonia Open Source projects

@favonia

favonia

Stars
856
Global Rank 35,522 (Top 2 %)
Followers 259
Following 62
Registered over 12 years ago
Most used languages

Haskell
28.6 %

JavaScript
14.3 %

Agda 14.3 %

OCaml
14.3 %

TypeScript
14.3 %

TeX
14.3 %
Location 🇺🇸 United States
Country Total Rank 18,479
Country Ranking

Agda 12

OCaml
346

TeX
493

Haskell
1,003

hdtt2020-notes

homotopy

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

ocaml-objdump

🖨️ Printing OCaml Runtime Representations

pulse

Haskell binding to PulseAudio (incomplete and halted)

cbpv

Call-by-push-value in Celf

latedays

🏃 Management of late day requests using Google Forms and Google Sheets

moe-unicode-cns-map

tscs-tools

Tools for TSCS questionnaires

kusariyarou