Explore projects

This repository demonstrates how Wireguard can be set up. It does this by providing a Vagrantfile that automatically sets up two virtual machines and establishing a VPN-connection between the two using Wireguard.

Program slicing for C code using Frama-C

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.

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).

Get the most out of your Raspberry-Pi xmas tree pcb...