Explore projects

The elaboration of my master's thesis. The latest build is available here.

This is a fork of the official quic-interop-runner extended with a satellite test case and custom scripts.

the source code for http://mail.stuve-fau.de

Legacy Prototyp des cdbp

Creating a model for the imprinting of marine images based on Wasserstein-GAN

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.

My thesis for the seminar "Blockchain" 2017/18. Subject: Privacy by Design - Monero, Zerocoin, Zerocash

My presentation for the seminar "Blockchain" 2017/18. Subject: Privacy by Design https://user.fablab.fau.de/~ev80uhys/blockchain-presentation-privacy-by-design

Telephone to call ya momma journey 2017.

OpenEmbedded/Yocto Project Poky-based distro for EnergyTimers on the SAMA5D3 Xplained

Matlab praktikum

skripte um remote rechnerübungen leichter zu machen