Explore projects

MMP Abschlussprojekt

Implementierung von Programmiersprachen Gruppe 3 WS 21/22. Implementierung von Sprache F in Haskell.

Aho-Corasick implementation

Used to be to mess with my buddy, but i got carried away :D

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.

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