My dotfiles


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


Layout optimiser and schematics for FPKBv2


An implementation of Tak and a computer opponent in C


my fork of monsterwm


My cv programmed in and typeset using XeLaTeX


Zig raycaster fun


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