Explore projects

An attempt at a Coq formalization of Zermelo-Fränkel set theory.

Eine einfache LED Welle mit Dimmungseffekt

Ergebnis der Hochschulwahl als Poster

Make hardware volume buttons work with pulseaudio.

Übung für virtuelle Maschinen. Programmierung einer ATMEGA32-VM mit C.

Virtuelle Maschinen WS2015

Driver for virtual userspace controlled devices in linux

The attempt to create a interface in the linux kernel for dynamically registering userspace programs as devices to the linux kernel.

The repository contains all the raw data that was used in the Usenix ATC paper

Bachelor's thesis. Analysing a two-level emitter placed in a cavity and simulating it using the continuous time Quantum Monte Carlo method.

My lecture notes for the TV-A lecture which is about relativistic quantum mechanics, leading to QFT.

My lecture notes for the TV-A lecture which is about advanced Quantum Mechanics

An experimental, small utility for intentionally triggering the failure of libc function calls.

Configuration for laptop touchpads