Explore projects

This project is part of the tooling exercises.

Project containing code from our bachelor's project 2020.

Deadlock Dependence Precedence

A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.

A framework for smart contract verification in Coq

this is the chat extension module for the decentralized framework.

This is an extension module for the decentralized collaborative framework.

semester project by Team Meme-Machine.

AU/IoT Kademlia DHT project

A very simple web-application displaying a list of products, built with nodeJS and react