Explore projects

A small meme generator program built using nodeJS and React

A combination of different practice programs that showcases the different functionalities of react

A very simple checklist application made with nodeJS and react

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

AU/IoT Kademlia DHT project

semester project by Team Meme-Machine.

This is an extension module for the decentralized collaborative framework.

this is the chat extension module for the decentralized framework.

A framework for smart contract verification in Coq

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

Deadlock Dependence Precedence

Project containing code from our bachelor's project 2020.