Explore projects

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

Release webpage for the INTO-CPS project. Check this site if editing json files: https://build.overture.au.dk/jenkins/job/into-cps.github.io.git/job/development/

The home of DSE scripts in the INTO-CPS github