Explore projects
-
curry-packages / peano
BSD 3-Clause "New" or "Revised" LicenseLibrary defining natural numbers in Peano representation
Updated -
curry-packages / easycheck
BSD 3-Clause "New" or "Revised" LicenseLibraries for automated, property-based testing of Curry programs
Updated -
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 / searchtree-unsafe
BSD 3-Clause "New" or "Revised" LicenseLibrary to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free
Updated -
curry-packages / ansi-terminal
BSD 3-Clause "New" or "Revised" LicenseLibrary supporting formatted output on terminals
Updated -
curry-packages / queue
BSD 3-Clause "New" or "Revised" LicenseLibrary with double-ended queues supporting access at both ends in constant amortized time
Updated -
curry-packages / redblacktree
BSD 3-Clause "New" or "Revised" LicenseLibraries implementing red-black trees for tables and sets
Updated -
curry-packages / random
BSD 3-Clause "New" or "Revised" LicenseLibrary for pseudo-random number generation
Updated -
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated -
curry-packages / peval-noshare
BSD 3-Clause "New" or "Revised" LicenseA partial evaluator for Curry (without sharing)
Updated -
curry-packages / currypath
BSD 3-Clause "New" or "Revised" LicenseOperations to deal with Curry module names and paths
Updated -
-
curry-packages / ccti
BSD 3-Clause "New" or "Revised" LicenseCurry Concolic Testing Interpreter
Updated -
curry-packages / frontend-exec
BSD 3-Clause "New" or "Revised" LicenseOperations to execute the front end of the Curry system
Updated -
curry-packages / html-cgi
BSD 3-Clause "New" or "Revised" LicenseSupport for CGI programming in HTML libraries
Updated -
curry-packages / cpns
BSD 3-Clause "New" or "Revised" LicenseCurry port name server and sockets with symbolic namesCurry port name server and sockets with symbolic names
Updated -
-
curry-packages / execpath
BSD 3-Clause "New" or "Revised" LicenseOperations related to the program execution path
Updated -
curry-packages / printf
BSD 3-Clause "New" or "Revised" LicenseOperations to format values of basic data types with formatting f lags
Updated