Explore projects

This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.

Git repository for saving images to use for quiz in teaching (particify).

A configuration drop-in to allow Apache operators to put it into maintenance mode.

mC Compiler Getting Started Code-Base

This is the online supplement of the paper "An ECG simulator with a novel ECG profile for physiological signals" which should be published in the journal of medical engineering & technology. It contains a novel ECG simulator.

TCExam is a CBA (Computer-Based Assessment) system (e-exam, CBT - Computer Based Testing) for universities, schools and companies, that enables educators and trainers to author, schedule, deliver, and report on surveys, quizzes, tests and exams.

A tool performing AC-completion for left-linear TRSs written in Haskell.

Config files for my GitHub profile.