Explore projects
-
Kai Prott / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
theses / 2020 / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Backup repository for the "Advanced Programming" course.
Updated -
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
Updated -
Updated
-
Updated
-
curry-packages / bindata
BSD 3-Clause "New" or "Revised" LicenseLibrary to support reading/writing binary data
Updated -
-
curry / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
Mike Gabriel / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
Finn Teegen / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
Finn Teegen / curry-base-old
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
-
-
-
-
-
Kai Prott / curry-ghc-plugin
BSD 3-Clause "New" or "Revised" LicenseArchived 1Updated -
Jan Path / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
curry / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe base libraries of Curry distributions, like PAKCS or KiCS2
Updated