Explore projects
-
curry-packages / peval-noshare
BSD 3-Clause "New" or "Revised" LicenseA partial evaluator for Curry (without sharing)
Updated -
curry-packages / ports
BSD 3-Clause "New" or "Revised" LicenseLibrary for distributed programming with ports
Updated -
curry-packages / process
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 / profiling-pakcs
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
curry-packages / prolog2curry
BSD 3-Clause "New" or "Revised" LicenseA tool to transform Prolog programs to Curry programs
Updated -
curry-packages / read-legacy
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / searchtree
BSD 3-Clause "New" or "Revised" LicenseLibrary with to represent strongly encapsulated non-deterministic computations as a search tree
Updated -
apps / smap
BSD 3-Clause "New" or "Revised" LicenseA web-based editor and browser for small programs.
Updated -
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated -
curry-packages / time
BSD 3-Clause "New" or "Revised" LicenseUpdated