indexabout
NameDescriptionIdleLinks
creative-coding
creative-coding-playgroundMaking cool looking things for fun3 weekssummarylogtree
sqlite-creative-codingCreative coding in SQL3 weekssummarylogtree
uiua-creative-codingCreative coding experiments in uiua3 weekssummarylogtree
experiments
css-everythingA ui framework where you only write turing complete CSS. No HTML, no JS, no buil...3 weekssummarylogtree
elxrRegular expression-like syntax for list operations3 weekssummarylogtree
ts-theorem-provinatorExperiment to use typescripts type system for theorem proving3 weekssummarylogtree
ts-types-langA runtime for typescript types that turns types into a purely functional program...3 weekssummarylogtree
hardware
chiral-keyboardMy custom ortholinear split keyboard PCB design3 weekssummarylogtree
daft-watchSimple wrist watch with RTC using attiny84a3 weekssummarylogtree
sinthinatorA toy music instrument with capacitive touch sensor using stm32c0113 weekssummarylogtree
temperature-sensor-attiny84aA simple temperature sensor and display running on an attiny84a meant for solder...3 weekssummarylogtree
tools
anypinentryA flexible pinentry script for GNUpg that uses dmenu by default.3 weekssummarylogtree
bacchus-remoteThis server configuration and scriptssummarylogtree
chelleportControl your mouse pointer with your keyboard by searching text on screen3 weekssummarylogtree
daffmDumb-as-fuck file manager for the terminal3 weekssummarylogtree
daft-launcherDaft launcher is a clean minimal android launcher with the bare minimum number o...3 weekssummarylogtree
homeserver-nixos-configNixos configuration for my home server3 weekssummarylogtree
kakoune-configMy personal kakoune configuration3 weekssummarylogtree
nixos-configNixos configuration for my pc3 weekssummarylogtree
null-browserA simple, fast web browser built on qtwebengine (chromium), configured using lua3 weekssummarylogtree
shotkeyA simple and lightweight hotkey daemon for X with configurable custom modes and ...3 weekssummarylogtree