Sebastian Geiger

tilda. A Gtk based drop down terminal for Linux and Unix

cocktails_for_programmers. Сocktails for programmers. Коктейли для программистов.

libwnck. This is a copy of the libwnck code on git.gnome.org

window-picker-applet. A port of the window-picker-applet to Gnome 3

editorswitcher. Editor Switcher for Joomla 3.x

simple-model-checker. A simple model-checking algorithm with a CTL* (CTL star) parser for temporal formulas.

tilda-debian. Debian specific packaging data for tilda

codegeneratoren. Codegeneratoren at Technical University of Vienna

masterylearning. Mastery learning based interactive e-learning platform.