Explore projects
-
af3 / fortiss-std-env
Apache License 2.0Build scripts, coding styles, project configurations, ...
Updated -
Updated
-
-
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
ASCI-public / MEMAP
OtherSoftware environment of the Multi-Energy Management and Aggregation Platform (MEMAP)
https://memap-projekt.de, BMWi FKZ: 03ET1413Updated -
DepAI / Dyn-SC
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
IIoT_external / TSMatch
MIT LicenseUpdated -
OpenSBT / OpenSBT Core
Apache License 2.0Core components of the OpenSBT framework.
This project has moved to: https://github.com/opensbt/opensbt-core
(14-11-2024)
Updated -
Updated
-
FICo / replication / fico_data
Apache License 2.0Updated -
FICo / fico_evaluation
Apache License 2.0Updated -
FICo / replication / fico_test_case_generation / fico_search
Apache License 2.0Updated -
FICo / replication / fico_simulation_framework / fico_simulation_setup
Apache License 2.0Updated -
Updated
-
Updated
