Discover projects, groups and snippets. Share your projects with others
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.
Program slicing for C code using Frama-C
Test to compile UPB-PBC using GWT
Corpus annotation tool