Explore projects
-
A toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Interface to the database where wer store the Raman spectra.
Updated -
Updated
-
Python toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra
Updated -
Python toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra + max-plus automata
Updated -
⚠ ️ This repository has been moved to https://github.com/innodoc/innodoc-webappHTML viewer for interactive educational content.
Archived 0Updated -
⚠ ️ This repository has been moved to https://github.com/innodoc/innoconvConverter for interactive educational content.
Archived 0Updated -
Updated
-
Updated
-
Updated
-
Updated