Explore projects
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
A compiler and run-time system to compile and run Curry programs as Go programs
Updated -
Updated
-
Updated
-
Backup repository for the "Advanced Programming" course.
Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
The library folders, with separate branches for kics2, pakcs and the common libraries
Updated