Explore projects

Combined demo and user study application for the Haptic Histories project

this is the chat extension module for the decentralized framework.

A framework for smart contract verification in Coq

This project is part of the tooling exercises.

This is an extension module for the decentralized collaborative framework.