Explore projects
-
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 / bindata
BSD 3-Clause "New" or "Revised" LicenseLibrary to support reading/writing binary data
Updated -
curry-packages / process
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / time
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / io-extra
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated -
curry-packages / global
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global entities in programs
Updated -
curry-packages / directory
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / profiling
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
curry-packages / searchtree
BSD 3-Clause "New" or "Revised" LicenseLibrary with to represent strongly encapsulated non-deterministic computations as a search tree
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 -
curry-packages / read-legacy
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / allvalues
BSD 3-Clause "New" or "Revised" LicenseLibraries with operations to strongly encapsulate non-deterministic computations
Updated