Explore projects

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

LibBPF-based usage examples and benchmarks for AnyCall and other projects

Showcase für das neo Theme

Einfache kompakte Repovorlage für Präsentationen mit dem neo Theme (geeignet für Forks)

Vorlage für die Ausarbeitung einer Bachelor- oder Masterarbeit in LaTeX

Dynamic updates (Luci approach) via a preloaded shared object

Vorlage für die Ausarbeitung einer Bachelor- oder Masterarbeit in LaTeX

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

This experimental project aims to build a proof assistant for propositional logic inside another proof assistant: Coq. The main idea is to implement natural deduction rules from the GLoIn-Lecture directly in Coq in order to have a suitable environment to prove stuff in Fitch-Style inside of Coq.

Sammlung von Fragen zu SP2 mit Kommentaren.

Project for my Computational Physics 2 class

Dockerfiles to generate Images for CI build & test

Sammlung von Fragen zu SP2 mit Kommentaren.

Sammlung von Fragen zu SP2 mit Kommentaren.

Sammlung von Fragen zu SP2 mit Kommentaren.