My dotfiles
Sampling of the scripts I use to make my life <adjective>
My cv programmed in and typeset using XeLaTeX
Layout optimiser and schematics for FPKBv2
A TUI for local play of the game of Tak
Git repo of l-3.space
An implementation of Tak and a computer opponent in C
my fork of monsterwm
Zig raycaster fun
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