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