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