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 -
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 -
innodoc / innoDoc Web App
GNU Affero General Public License v3.0⚠ ️ This repository has been moved to https://github.com/innodoc/innodoc-webappHTML viewer for interactive educational content.
Archived 0Updated -
innodoc / innoConv
GNU General Public License v3.0 or later⚠ ️ This repository has been moved to https://github.com/innodoc/innoconvConverter for interactive educational content.
Archived 0Updated -
TEADAL / Advocate Demo Kubernetes
MIT LicenseUpdated -
Updated
-
Updated
-
Updated