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.
-
-
-
-
This project contains the deliverables for the paper entitled "Collaborative Software Modeling in Virtual Reality" that has been accepted at the ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).
-
-
-
-
-
-
-
-
Program slicing for C code using Frama-C
-
Test to compile UPB-PBC using GWT