Explore projects

tuTRACK public.

Isabelle Server Client and Protocol library for Golang

A container project that uses several tools to measure various graph parameters.

Nur mit TU-Mail bitte anschreiben, sonst landet es im Spam. Fragen&Feedback: https://forms.gle/UUv5obPz6dJa3a6NA

A collection of tools for creating and analyzing Moodle quizzes.

These are the smart contracts used by advocate and the trust layer of TEADAL.