Explore projects

tuTRACK public.

Teaching material for the lecture and tutorial in digital signal processing

Proofbuddy and related software packaged via nix

This repository contains a collection of tools to simplify working with Moodle quizzes.

A toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.

Lesefassungen von Vorschriften an der TU Berlin.

TU Berlin MSE Nyan KiCAD(SE) -- Hardware

Kurzer Disclaimer:

Die Entscheidung, den kompletten Code auf deutsch zu schreiben, lag nicht bei den Entwickler*innen. Normalerweise sind vor allem die Funktionsnamen nicht so skurril. :)

This repository contains the code accompanying my thesis "Analyzing Provenance Graphs for Programming Errors". It includes a tool for capturing the provenance information of Python programs and tools and algorithms for identifying one specific error type, incorrect function call sequences, through analyzing these provenance graphs generated during program execution.