Explore projects
-
toki / components / toki-extra / perfmon
BSD with attributionUpdated -
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
-
toki / components / libxil
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
toki / components / lwip
BSD 3-Clause "New" or "Revised" LicenseUpdated -
IIoT_external / TSMatch
MIT LicenseUpdated -
BaSys / BaSyx-OPCUA-ConsistencyDemo
Apache License 2.0Provides a demonstrator that enables showing off / testing consistency checking between/on model data from BaSys AAS submodels (via BaSyx interface) and from OPC UA servers
Updated -
toki / init
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Performance Engineering / PerTract / PerTract DSL
Eclipse Public License 2.0Domain Specific Language (DSL) to model big data systems
Updated -
Updated
-
Updated
-
-
Performance Engineering / PerTract / PerTract DSL Extraction
Eclipse Public License 2.0Extract PerTract-DSL instances from big data frameworks
Updated
