Explore projects
-
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 -
Updated
-
Updated
-
Updated
-
toki / components / toki-extra / elfloader
BSD with attributionUpdated -
Alexander Diewald / AF3-new
Apache License 2.0Updated -
Updated
-
toki / components / newlib
GNU Lesser General Public License v2.1 onlyUpdated -
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
The chaincode used by Evidentia project in a Hyperledger Fabric Network.
Updated -
toki / build-systems / yocto / meta-toki-apps
BSD with attributionUpdated -
Alexander Diewald / kernel
Apache License 2.0Updated -
FICo / fico_evaluation
Apache License 2.0Updated -
Updated