favonia/tscs-tools
Tools for TSCS questionnaires
Developer Profile
favonia
Discovered public repositories for favonia in the GitHub catalog.
favonia/moe-unicode-cns-map
Public repository.
favonia/cbpv
Call-by-push-value in Celf
favonia/pulse
Haskell binding to PulseAudio (incomplete and halted)
favonia/homotopy
My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)