Explore GitLab
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
-
Corpus annotation tool
-