Explore projects

Code base from my PhD

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

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.

Swish freeze of vortex gpgpu

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