Explore projects

Teaching material for the lecture and tutorial in digital signal processing

tuTRACK public.

TU Berlin MSE Nyan KiCAD(SE) -- Hardware

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

Isabelle server supervisor and load balancer

Proofbuddy and related software packaged via nix

"Advanced Railway Object Detection with Stationary LiDAR from Multiple Perspectives: A Remote Train Control Study" Master Thesis at Fraunhofer FOKUS