Explore projects
-
-
Updated -
ProveIT / isalink
GNU Affero General Public License v3.0Isabelle Server Client and Protocol library for Golang
Updated -
Markus Valtin / MaltabBuildroot_FPGA
GNU General Public License v2.0 or laterUpdated -
Jan Niklas Läpple / Real Time Offloading Distributed Scheduling
GNU General Public License v3.0 or laterUpdatedUpdated -
Updated
-
Juan Manuel Goyes Coral / Faas Netes
MIT LicenseUpdated -
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server orchestrator and load balancer
Updated -
Updated
-
Hendrik Bauerfeind / Graph Transformer
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Simulation of the PIM-SM protocol as part of the bachelor thesis at the INET chair.
Updated -
Updated -
Updated