An SSH and GPG agent which you can use with your PIV hardware security device (e.g. a Yubikey).

A rust crate to create a pure rust keyboard firmware.

A 40% handwired ortholinear keyboard, running QMK firmware

Nix Packages collection & NixOS

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replica…

ocamlgraph graph implementation that I thought I wanted...

Just a backup of some stupid mastermind code in haskell

An agile, distributed, and secure alternative to the Certificate Authority system.

Toy sat solver in ocaml, that uses robdds (basically it results in (Terminal, true) if your formula does not have any solutions) - returns the bdd

An agile, distributed, and secure alternative to the Certificate Authority system.

Android widget that displays the doorstatus of the hackerspace in hamburg - attraktor.org

Threadmanager in Haskell, implemented as a Monad (Transformer)

battery plugin for awesome for thinkpads

basic tools like a socks server and netcat, mainly to be used in conjunction with ssh

normal and memoize implementation of base64 in lua