Projects
A universal notation scheme for over 100 identifiers, such as DOI, EAN, or crypto-addresses.
Academic Dictionary for Scientific Writing in American English.
Display date and time – NERD style.
Minimal CSS3 framework with few but great styles for basic HTML tags.
Interactive Knowledge Platform.
Python script that checks english texts for grammar mistakes.
Flight stack written in Ada/SPARK 2014
A quick & dirty python script which translates C to Ada code.
A bash/zsh/fish prompt with the power of a Titan.
German XKB keyboard layout with 8 levels for often used unicode characters.