uli.pink's repositories

  • emacs — restore point in case my machine goes bye bye
  • godel — GODEL'S INCOMPLETENESS DIRECTORY
  • herbstluftwm — active herbstluftwm + dzen2 configuration for FreeBSD
  • kakoune — updated kakoune config from old git repo (https://codeberg.org/ulipink/kakoune)
  • lettice — little scrabble game in rust (ew)
  • tapl — notes, programs, fragments, proofs and other stuff related to Benjamin Pierce's 'Types and Programming Languages'