favonia

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

hdtt2020-notes. TeX

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

ocaml-objdump. 🖨️ Printing OCaml Runtime Representations

cbpv. Call-by-push-value in Celf

pulse. Haskell binding to PulseAudio (incomplete and halted)

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

tscs-tools. Tools for TSCS questionnaires

fork4pr-notty. Declarative terminal graphics for OCaml

moe-unicode-cns-map. JavaScript

martin-lof. papers of Per Martin Löf

ohtt. H.O.T.T. using rewriting in Agda

facebook-backup. HTML