Explore projects

ATAC-Seq pipeline implemented as a webinterface.

Preamble for LaTeX projects

Emulate various automata, such as DFA, NFA, PDA and DTM

Bachelor's thesis gait recognition using Thermal Imaging

Solver for Tents puzzles implemented as part of the lecture SAT Solving in the winter term 2020/21

Spieler muss in moglichst wenig Spielz ¨ ugen 4 Raumschiffe im ¨ Weltall aufspuren; jeder Zug liefert Informationen ¨ uber die ¨ Positionen der Raumschiffe.

Solver for n-sudokus, implemented in C++.

Es handelt sich hierbei um ein Python Script, dass die einzelnen C-Programme auf dem CPAchecker ausführt und somit testet ob die einzelnen C-Programme Fehler beinhalten usw.

git testing Bioinformatik Tutorium