Explore projects
-
Updated
-
clean-and-itasks / abc-interpreter
BSD 2-Clause "Simplified" LicenseThis project has been moved to GitLab.com.
Archived 1UpdatedArchived 1Updated -
Deprecated. The first attempt at a cost analysis for iTasks
Updated -
Interpreter for my mapper language for abstraction in automata learning.
Updated -
Thorsten Wißmann / Action Codes in Coq
GNU Lesser General Public License v2.1 onlyUpdated -
Computer Science Master's Thesis
Updated -
Updated
-
Loes Kruger / Adaptive LSharp Learnlib
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
UpdatedUpdated
-
Updated