A Unix-style personal search engine and web crawler for your digital footprint.

Hacking the Jarvis standup desk from fully.com for home automation using an ESP8266 arduino interface

An open source bike computer based on Raspberry Pi Zero (W, WH, 2W) with GPS and ANT+ support, as well as offline maps and navigation functions.

Framework to connect wearables and other IoT devices to mobile phones, tablets and PCs with an IP-based protocol stack over Bluetooth Low Energy

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

cod is a completion daemon for bash/fish/zsh

Weechat Matrix protocol script written in python

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Manage your dotfiles across multiple diverse machines, securely.

Split flac/ape/wv/wav + cue sheet into separate tracks

My personal site

Color text streams with a polished command line interface

IRC/Slack bot