Explore projects
-
A toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Updated
-
Updated
-
Updated
-
Python toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra
Updated -
Updated
-
Interface to the database where wer store the Raman spectra.
Updated -
Updated
-
Implementing a microservice that wraps the Raman Spectrometer.
Updated -
Updated
-