Andreas Stührk

idris-go. A Go backend for Idris

awc. A Wayland compositor

kitbot. Mirror of the KIT jabber bot repository.

pony-ast-explorer. Interactively explore Pony ASTs

sandbox. Mirror of the cdt sandbox

rexplector. A crude hack to visualize how OpenJDK matches regular expressions.

Kolonnade. A tiling window manager for Windows

pony-fmt. A code formatter for Pony

v4lbodyautokeying. Virtual background for Video4Linux

ExternalNeo2Keyboard. Neo2 keyboard layout for Android 4

pyrexroad. Visualises how CPython matches regexes

bloopsaphone. arcade sounds and chiptunes for ruby and c, now with Python bindings

Kuchenblech. A minimal-trust secret sharing service.

Swiffer. Swiffer is pre-commit Git hook for ensuring a minimal amount of code documentation quality.

exetractor. A far from complete unpacker for packed Python executables.

Neo2-LLHK. Neo2 keyboard layout for Windows

js_of_fstar. An ML-like language aimed at program verification

swift-gelf. A GELF library for Swift, without a nifty name.

dinghy-web. dinghy as a service

kontrolleur. Ctrl-r for the fish shell

udev-hid-bpf. An automatic HID-BPF loader based on udev events written in rust.