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
-
AF3 product for the practical course with a reduced set of features and plugins.
Archived 0Updated -
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
-
Performance Engineering / PerTract / PerTract Monitoring Agent
Eclipse Public License 1.0A lightweight agent for Java applications to sample CPU traces. We use the traces to derive resource profiles within PerTract-DSL instances
Updated