Explore projects

Zusammenfassungen Informatik 1. Semester nicht ganz vollständig, jedoch größtenteils

A discord bot.

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

Zephyr RTOS with MBS (https://www4.cs.fau.de/Publications/2021/reif_21_sbesc.pdf) and Raspberry Pi 3b+ support.

Ein kleiner und unauffälliger Würfel (mit etwa 6cm Kantenlänge) für den Schreibtisch zum einfachen Zeit erfassen.

PoC für Webcam-basierte Zugangskontrolle

Wrapper script for Xpra that allows running the server as a different user on the same system using sudo.

Clojure Implementation of the XDG Base Directory Specification

Web UI visualizing #ifdefs and undertaker defect reports in Linux code files.

C#-Project which writes, reades and activates IED function parameter groups using libiec61850

Creates LaTeX-based workout log cards