Explore projects
-
-
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
Pascal Stücker / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
-
-
-
Jan Path / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
-
packaging / fusiondirectory-hooks
GNU General Public License v2.0 or laterUser- and host creation/removal hook scripts for FusionDirectory
Updated -
-
Backup repository for the "Advanced Programming" course.
Updated -
curry-packages / curry-repl
BSD 3-Clause "New" or "Revised" LicenseA universal REPL which can be used on top of a Curry compiler
Updated -
Updated
-