Explore projects
-
KISusCheck / PUBLIC / Code / landing-page
MIT LicenseUpdated -
Florian Dollinger / fortiss-std-env
Apache License 2.0Build scripts, coding styles, project configurations, ...
Updated -
Updated
-
toki / components / libxil
MIT LicenseUpdated -
ASCI-public / MEMAP
OtherSoftware environment of the Multi-Energy Management and Aggregation Platform (MEMAP)
https://memap-projekt.de, BMWi FKZ: 03ET1413Updated -
OpenSBT / CARLA Runner
MIT LicenseEvaluate XOSC scenarios using a highly parallelizable CARLA setup!
Updated -
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
-
Alexander Diewald / kernel
Apache License 2.0Updated -
Updated
-
Updated
-
Updated