Explore projects
-
Updated
-
-
Updated
-
KISusCheck / PUBLIC / Code / kisuscheck-db
MIT LicenseUpdated -
KISusCheck / PUBLIC / Code / middleware
MIT LicenseUpdated -
SafSec / rekor
Apache License 2.0Updated -
Blockchain / Practical courses for students / blockchain-dev-env
Apache License 2.0Updated -
KISusCheck / PUBLIC / Code / core-engine
MIT LicenseUpdated -
Updated
-
Updated
-
-
OpenSBT / CARLA Runner
MIT LicenseEvaluate XOSC scenarios using a highly parallelizable CARLA setup!
Updated -
Run distributed FMI-based co-simulations in ROS!
Updated -
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
toki / auxiliary
OtherUpdated -
etb2 / ETB2
GNU General Public License v3.0 or laterUpdated