Explore projects
-
etb2 / ETB2
GNU General Public License v3.0 or laterUpdated -
-
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
-
Zijiang Wang / Autocode5
OtherUpdated -
-
ASCI-public / MEMAP
OtherSoftware environment of the Multi-Energy Management and Aggregation Platform (MEMAP)
https://memap-projekt.de, BMWi FKZ: 03ET1413Updated -
Alexander Diewald / AF3-new
Apache License 2.0Updated -
Venkatesh Pampana / bves
MIT LicenseUpdated -
Alexander Diewald / kernel
Apache License 2.0Updated -
Evidentia / ETB
GNU General Public License v3.0 or laterUpdated -
Evidentia / DEN
Apache License 2.0Updated -
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 -
Performance Engineering / PerTract / PerTract DSL Simulation
Eclipse Public License 2.0Simulate PerTract-DSL instances
Updated