my fork of monsterwm


Layout optimiser and schematics for FPKBv2


My dotfiles


My cv programmed in and typeset using XeLaTeX


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


Zig raycaster fun


An implementation of Tak and a computer opponent in C


A TUI for local play of the game of Tak


Git repo of l-3.space


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


An art deco clock


QMK configuration for my Dactyl-Manuform


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


Small public-key verification tool