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.

The numerical scheme to solve the diffusive and shear diffusive PDE using the BEM

ParkingSpot simulation for sepm2018 project

Creating simple non-context-sensitive L_Systems using genetic programming that fit on a given picture.

[Moved by Admin 2021-08-18]

The code of the UIBK Computer Haptics PS, summer term 2020.