Explore projects
-
BVT-HTBD / KIWI / TF3 / raman-hive
MIT LicenseInterface to the database where wer store the Raman spectra.
Updated -
TEADAL / Advocate
MIT LicenseA toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Control systems group / Team discrete event systems / PetriTUB
Creative Commons Attribution Share Alike 4.0 InternationalPython toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra
Updated -
Control systems group / Team discrete event systems / BSc thesis code / PetriTUB max-plus automata
Creative Commons Attribution Share Alike 4.0 InternationalPython toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra + max-plus automata
Updated -
TEADAL / Advocate Demo Kubernetes
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
BVT-HTBD / KIWI / TF3 / Multiplexer Valve
MIT LicenseUpdated -
Implementing a microservice that wraps the Raman Spectrometer.
Updated -
BVT-HTBD / KIWI / TF3 / Ismatec Pump
MIT LicenseUpdated