uli.pink's repositories
- emacs — restore point in case my machine goes bye bye
- herbstluftwm — active herbstluftwm + dzen2 configuration for FreeBSD
- lettice — little scrabble game in rust (ew)
- tapl — notes, programs, fragments, proofs and other stuff related to Benjamin Pierce's 'Types and Programming Languages'