Explore projects
-
-
curry-packages / curry-interface
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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 -
curry / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe base libraries of Curry distributions, like PAKCS or KiCS2
Updated -
The 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 -
curry-packages / curry-repl
BSD 3-Clause "New" or "Revised" LicenseA universal REPL which can be used on top of a Curry compiler
Updated -
curry-packages / curry-resources
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / curry-source
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseTools for Curry that are used in PAKCS and KiCS2
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-packages / currybrowse
BSD 3-Clause "New" or "Revised" LicenseA GUI to browse and analyze the modules of a Curry program
Updated -
curry-packages / currycheck
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
-
curry-packages / currypath
BSD 3-Clause "New" or "Revised" LicenseOperations to deal with Curry module names and paths
Updated -
curry-packages / currypp
BSD 3-Clause "New" or "Revised" LicenseThe standard preprocessor of Curry
Updated