🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

N-D labeled arrays and datasets in Python

πfs - the data-free filesystem!

Python implementations of approval-based committee (multi-winner) voting rules

Because sometimes you need to do it live

Python API to access the Copernicus Climate Data Store (CDS)

earlyoom - Early OOM Daemon for Linux

Slides and additional material for the course 731139 at BOKU, Vienna, Austria

Repository for homeworks for the course 731139 at BOKU, Vienna/Austria

A simple, extensible Markov chain generator.

Arduino code for the Barwin cocktail robot

The cursor theme for Ubuntu that was adoped from DMZ-White, credited https://github.com/mzijlstra/hlCursors/

Command line toolkit for working with Arduino hardware

Bash script for sending SMS with Gammu (partly in German)