Sampling of the scripts I use to make my life <adjective>


My dotfiles


A TUI for local play of the game of Tak


Git repo of l-3.space


QMK configuration for my Dactyl-Manuform


My cv programmed in and typeset using XeLaTeX


A formalisation of the logical equivalence of the Yoneda lemma and dependent path induciton


A derivation of function extensionality from the univalence axiom formalised in Agda


A smattering of poor thoughts on keyboard layouts


Small public-key verification tool