Explore projects
-
-
curry / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
curry / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe base libraries of Curry distributions, like PAKCS or KiCS2
Updated -
-
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseTools for Curry that are used in PAKCS and KiCS2
Updated -
-
curry-packages / cpm-query
BSD 3-Clause "New" or "Revised" LicenseA tool to query analysis information about entities defined in some Curry package
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 / curry-interface
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
apps / smap
BSD 3-Clause "New" or "Revised" LicenseA web-based editor and browser for small programs.
Updated -
apps / masala
BSD 3-Clause "New" or "Revised" LicenseMasala: The Repository of Curry Packages
Updated -
-
Updated
-
-
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated -
curry-packages / spicey
BSD 3-Clause "New" or "Revised" LicenseThe Spicey web framework for Curry
Updated -
curry-packages / contracts
BSD 3-Clause "New" or "Revised" LicenseSome auxiliaries used by the Curry preprocessor to check contracts
Updated -
curry-packages / importusage
BSD 3-Clause "New" or "Revised" LicenseShows the usage of imported entities in a module
Updated -
curry-packages / currypath
BSD 3-Clause "New" or "Revised" LicenseOperations to deal with Curry module names and paths
Updated