Explore projects

This solves colorable maps like e.g in the bonus exercise of Week 04 (SS2023) in PS Logic.

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.

All my Language-Tools in one place

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