Explore projects

abfahrplan.fsr.saarland • Software for the departures board in our main room. (Supersedes fsr/fsfahrplan)

Code base from my PhD

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

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

Fontpack for Pretix

Swish freeze of vortex gpgpu

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.