Explore projects
-
curry-packages / contracts
BSD 3-Clause "New" or "Revised" LicenseSome auxiliaries used by the Curry preprocessor to check contracts
Updated -
curry-packages / setfunctions
BSD 3-Clause "New" or "Revised" LicenseImplementation of set functions to encapsulate non-deterministic computations in a strategy independent manner
Updated -
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated -
curry-packages / currypath
BSD 3-Clause "New" or "Revised" LicenseOperations to deal with Curry module names and paths
Updated -
curry-packages / bindata
BSD 3-Clause "New" or "Revised" LicenseLibrary to support reading/writing binary data
Updated -
curry-packages / mail-utils
BSD 3-Clause "New" or "Revised" LicenseUtilities for sending emails
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-packages / profiling
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
-
curry-packages / cdbi
BSD 3-Clause "New" or "Revised" LicenseLibraries for type-safe database programming
Updated -
curry-packages / abstract-curry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with AbstractCurry programs
Updated -
curry-packages / flatcurry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with FlatCurry programs
Updated -
curry-packages / regexp
BSD 3-Clause "New" or "Revised" LicenseLibrary to specify the semantics of regular expressions
Updated -
-
curry-packages / graphviz
BSD 3-Clause "New" or "Revised" LicenseLibraries to visualize graphs with Graphviz
Updated -
curry-packages / markdown
BSD 3-Clause "New" or "Revised" LicenseLibraries to process markdown documents
Updated -
curry-packages / call-analysis
BSD 3-Clause "New" or "Revised" LicenseA call-pattern analysis and transformation tool to improve lazy non-deterministic computations
Updated -
curry-packages / coosy
BSD 3-Clause "New" or "Revised" LicenseCOOSy: A tool to observe functional logic computations
Updated -
curry-packages / plural-arguments
BSD 3-Clause "New" or "Revised" LicenseA tool to implement plural arguments in a Curry program
Updated -
curry-packages / runcurry
BSD 3-Clause "New" or "Revised" LicenseImplementation of command "runcurry"
Updated