Explore projects
-
Teaching material for the lecture and tutorial in digital signal processing
Updated -
-
Updated
-
Updated
-
-
A toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Updated
-
Isabelle server supervisor and load balancer
Updated -
Proofbuddy and related software packaged via nix
Updated -
Updated
-
Updated
-
"Advanced Railway Object Detection with Stationary LiDAR from Multiple Perspectives: A Remote Train Control Study" Master Thesis at Fraunhofer FOKUS
Updated