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