Funktionale Infrastruktur für den Subraum (mit NixOS)
fxk8y's dotfiles repo, because, you know, everyone has one
EDI bridge zu Telegram
gcc for ESP32 on NixOS
POC to show nix behavior changes with- and without lock files
Fetch SSH keys from our LDAP
Use an Odroid Go Advance as an auxiliary keyboard for media control (via USB HID gadget)
Miscellaneous tools that don't have their own place (yet).