GitLab

Zero knowledge compiler

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

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.

This project was developed as part of the Bachelor's Thesis of Simon Cornelius Gorissen at the University of Paderborn for the Research Group Databases and Information Systems. It is a prototypical collaborative UML Class Diagram editor for VR.

Program slicing for C code using Frama-C

Test to compile UPB-PBC using GWT

Corpus annotation tool

Corpus annotation tool