Explore projects
-
Updated
-
KISusCheck / PUBLIC / Code / core-engine
MIT LicenseUpdated -
Updated
-
KISusCheck / PUBLIC / Code / middleware
MIT LicenseUpdated -
KISusCheck / PUBLIC / Code / kisuscheck-db
MIT LicenseUpdated -
etb2 / ETB2
GNU General Public License v3.0 or laterUpdated -
Updated
-
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
OpenSBT / OpenSBT Core
OtherCore components of the OpenSBT framework.
This project has moved to: https://github.com/opensbt/opensbt-core
(14-11-2024)
Updated -
OpenSBT / CARLA Runner
MIT LicenseEvaluate XOSC scenarios using a highly parallelizable CARLA setup!
Updated -
Run distributed FMI-based co-simulations in ROS!
Updated -
SafSec / rekor
Apache License 2.0Updated -
-
Blockchain / Practical courses for students / blockchain-dev-env
Apache License 2.0Updated -
Updated
-
toki / auxiliary
OtherUpdated