User Interface
Repositories
akalenuk/16counters: GUI for those who don't do GUI ★★★
art-w/unicorn: Purely functional GUI algebra ★★
(in Calculus of Constructions) atennapel/coc-os: "operating system" based on the calculus of constructions ★ 💭
(in PLDI) ibrahimsag/rw: an experiment in presenting code. ★★★
Books
The Humane Interface (borrow @ archive.org) ★★
Constructing the User Interface with Statecharts (borrow @ archive.org) ★