Explore projects
-
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
af3 / af3-backup
Apache License 2.0Archived 1Updated -
Updated
-
Alexander Diewald / AF3-new
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Bonus assisgnments for the Advanced Practical Course - Blockchain technology for public sector innovation (IN2106, IN4212) at TUM.
Updated -
Zijiang Wang / Autocode5
OtherUpdated -
toki / auxiliary
OtherUpdated