Explore projects
-
Updated
-
curry-packages / directory
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Updated
-
Updated
-
Updated
-
Updated
-
-
curry / curry2go
BSD 3-Clause "New" or "Revised" LicenseA compiler and run-time system to compile and run Curry programs as Go programs
Updated -
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseTools for Curry that are used in PAKCS and KiCS2
Updated -
curry / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe base libraries of Curry distributions, like PAKCS or KiCS2
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 -
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 -
The 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