Explore projects
-
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server supervisor and load balancer
Updated -
ProveIT / isalink
GNU Affero General Public License v3.0Isabelle Server Client and Protocol library for Golang
Updated -
Lukas Maximilian Klapproth / AlgProc2024_pict
GNU General Public License v2.0 or laterUpdated -
Chao Zhan / fog-computing-prototyping
MIT LicenseUpdated -
RBO / Robotics / PneumaticBox Airserver
BSD 3-Clause "New" or "Revised" LicenseCORE - Airserver process which runs on the pneumaticbox
Updated -
-
Updated
-
MCC FReD / fred
MIT LicenseA Fog Replicated Datastore (FReD) - https://openfogstack.github.io/FReD/
Updated -
Markus Valtin / MaltabBuildroot_FPGA
GNU General Public License v2.0 or laterUpdated -
Valentin Alexander Carl / opentelemetry-helm-charts
Apache License 2.0OpenTelemetry Helm Charts
Updated -
ARS / ars-application
MIT LicenseThe ARS application that bundles ui (with an nginx proxy) and api alongside neo4j using docker compose.
Updated -
Updated
-
Updated
-
Simulation of the PIM-SM protocol as part of the bachelor thesis at the INET chair.
Updated -
Updated