Minimal CSS3 framework with few but great styles for basic HTML tags.
Display date and time – NERD style.
Interactive Knowledge Platform.
Flight stack written in Ada/SPARK 2014
A quick & dirty python script which translates C to Ada code.
Python script that checks english texts for grammar mistakes.
German XKB keyboard layout with 8 levels for often used unicode characters.
A bash/zsh/fish prompt with the power of a Titan.
Cheat Sheets from Students for Students.
Simulation of a Four-Dimensional Hypercube