Explore projects

https://abfahrplan.fsr.saarland/ • Software for the departures board in our main room. (Supersedes https://gitlab.cs.uni-saarland.de/fsr/fsfahrplan)

This repository contains assignment work for the course Neural Networks: Theory and Implementations course of Saarland University. It includes implementations of key neural network concepts, algorithms, and techniques, combining theoretical insights with practical coding exercises.

Code base from my PhD

Swish freeze of vortex gpgpu

This is a LaTeX template suggestion for a Bachelor's or Master's thesis.

This repo follows the practical coursework of the Microbial Data Analysis course of Saarland University and introduces to the current practices in Metagenomics analysis.

Symbolic Verification of a #PKCS11 Model using a key hierarchy. Syntax Highlighting for tamarin in pygments.