Explore projects
-
af3 / kernel
Apache License 2.0Updated -
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 -
Updated
-
-
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
Evidentia / ETB
GNU General Public License v3.0 or laterUpdated -
-
Zijiang Wang / Autocode5
OtherUpdated -
-
af3 / exploration-alg
Apache License 2.0Updated -
Alexander Diewald / AF3-new
Apache License 2.0Updated -
Evidentia / DEN
Apache License 2.0Updated -
Venkatesh Pampana / bves
MIT LicenseUpdated -
Updated