Explore projects
-
af3 / kernel
Apache License 2.0Updated -
Updated
-
ASCI-public / MEMAP
OtherSoftware environment of the Multi-Energy Management and Aggregation Platform (MEMAP)
https://memap-projekt.de, BMWi FKZ: 03ET1413Updated -
Updated
-
etb2 / ETB2
GNU General Public License v3.0 or laterUpdated -
Evidentia / ETB
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 -
af3 / exploration-alg
Apache License 2.0Updated -
-
AF3 product for the practical course with a reduced set of features and plugins.
archived 0Updated -
archived 1Updated
-
archived 1Updated
-
archived 1Updated
-
af3 / af3-backup
Apache License 2.0archived 1Updated -
Alexander Diewald / AF3-new
Apache License 2.0Updated