Projects

ID2 Identifiers

A universal notation scheme for over 100 identifiers, such as DOI, EAN, or crypto-addresses.

Acamedic

Academic Dictionary for Scientific Writing in American English.

Binary Clock

Display date and time – NERD style.

Classless.css

Minimal CSS3 framework with few but great styles for basic HTML tags.

Tex4TUM

Interactive Knowledge Platform.

Paper Checker

Python script that checks english texts for grammar mistakes.

High-Altitude Glider

Flight stack written in Ada/SPARK 2014

c2ada

A quick & dirty python script which translates C to Ada code.

Promptheus

A bash/zsh/fish prompt with the power of a Titan.

uniKeyBoard

German XKB keyboard layout with 8 levels for often used unicode characters.