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.

Prepare a cloned system (which has been "sealed") for its first boot within the ZID infrastructure, deployed via multi-pass puppet configuration

Finding a imperative program that leads a little robot on a grid from his start-position to a destination. [Moved by Admin 2021-08-18]

Exercises for the high-performance-computing course

Fork of 2ndQuadrant repmgr project. A tool to assist postgresql setups deploy a quorum-monitored primary/standby configuration.

A project to provide proxy-autodetection to work for UNIX systems wishing to connect to the Internet, but not via a user's browser or via any dependencies on ECMAScript (ie, JavaScript).

The thesis regarding my bachelors project in genetic programming.

[Moved by Admin 2021-08-18]

This is the repository of the project of the online communication master seminar course

R package EWL (explorewinterlightning)