l-3.space repository browser

Name	Description	Idle
adclock	An art deco clock
ctak	An implementation of Tak and a computer opponent in C
cv	My cv programmed in and typeset using XeLaTeX
dotfiles	My dotfiles	46 hours
keyboard	Layout optimiser and schematics for FPKB
l-3.space	Git repo of l-3.space	43 hours
makkai	Type theory implementation
monsterwm	my fork of monsterwm
mood	a music player governed by your moods
msr	Small public-key verification tool
qmk_dactyl_manuform	QMK configuration for my Dactyl-Manuform
rprt	Finally, a text editor for your flying saucer.
scripts	Sampling of the scripts I use to make my life %adjective	41 hours
siege-mode	An emacs minor mode to surround the region with smart delimiters interactively
takwrap	A TUI for local play of the game of Tak
univalence-to-funext	A derivation of function extensionality from the univalence axiom formalised in ...	43 hours
y_and_j	[no description]
zirc	A formalisation of the logical equivalence of the Yoneda lemma and dependent pat...