Explore projects

Jinja2 template for creating a simple self-assessment test with LimeSurvey

Program slicing for C code using Frama-C

Corpus annotation tool

Corpus annotation tool

Template for a bachelor/master thesis or a seminar

Python Availability Testing

Repository of SS17 Project group "Trusted Communication Module" Overlay networks group

Access multiple repositories at the same time: Extract files / directories from a specific tag.

Hier liegt das Jupyternotebook Projekt zur Tätersuche, erstellt von Lukas Höper und Niklas Weiser

The One Simulator

The One Simulator

Fork of https://github.com/ros/rosdistro . Used to freeze ROS in time which is useful for reproducible builds (e.g. in cross-compiling kinetic for the raspis).