• haskell
  • mksession
  • newcover
  • presentation-video-manager
  • rofi-picker
  • sorta
  • urlq-server
  • videoChapter
• math
  • book-of-proof
• lean
  • Coming soon
• nix
  • idris-pkgs — My Nix package set.
  • qemu-advent
• hardware
  • ir_decode
• essays