Explore projects
-
curry-packages / read-legacy
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / global
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global entities in programs
Updated -
-
-
Updated
-
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseTools for Curry that are used in PAKCS and KiCS2
Updated -
Backup repository for the "Advanced Programming" course.
Updated -
curry-packages / profiling
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
The library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
Mike Gabriel / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
-
Updated
-
-
curry / kics
BSD 3-Clause "New" or "Revised" LicenseFirst version of KiCS, the Curry –> Haskell Compiler
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 -
Finn Teegen / curry-base-old
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
-
Marcellus Siegburg / hpsv
MIT LicenseUpdated -