~tslil

https://tslil.xyz

~tslil/dotfiles

My dotfiles

~tslil/scripts

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

~tslil/cv

My cv programmed in and typeset using XeLaTeX

~tslil/keyboard

Layout optimiser and schematics for FPKBv2

~tslil/takwrap

A TUI for local play of the game of Tak

~tslil/l-3.space

Git repo of l-3.space

~tslil/ctak

An implementation of Tak and a computer opponent in C

~tslil/monsterwm

my fork of monsterwm

~tslil/zirc

Zig raycaster fun

~tslil/y_and_j

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

~tslil/adclock

An art deco clock

~tslil/qmk_dactyl_manuform

QMK configuration for my Dactyl-Manuform

~tslil/univalence-to-funext

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

~tslil/msr

Small public-key verification tool