Explore projects
-
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 / contracts
BSD 3-Clause "New" or "Revised" LicenseSome auxiliaries used by the Curry preprocessor to check contracts
Updated -
curry-packages / easycheck
BSD 3-Clause "New" or "Revised" LicenseLibraries for automated, property-based testing of Curry programs
Updated -
curry-packages / allvalues
BSD 3-Clause "New" or "Revised" LicenseLibraries with operations to strongly encapsulate non-deterministic computations
Updated -
curry-packages / residuation-analysis
BSD 3-Clause "New" or "Revised" LicenseAnalyzing the residuation behavior of Curry programs
Updated -
Pascal Stücker / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
curry-packages / peano
BSD 3-Clause "New" or "Revised" LicenseLibrary defining natural numbers in Peano representation
Updated -
curry-packages / finite-map
BSD 3-Clause "New" or "Revised" LicenseLibrary implementing finite maps (efficient mappings from keys to values)
Updated -
curry-packages / array
BSD 3-Clause "New" or "Revised" LicenseAn implementation of arrays with Braun trees
Updated -
curry-packages / scc
BSD 3-Clause "New" or "Revised" LicenseComputing strongly connected components
Updated -
curry-packages / propertyfile
BSD 3-Clause "New" or "Revised" LicenseRead and update files containing properties in equational syntax
Updated -
curry-packages / printf
BSD 3-Clause "New" or "Revised" LicenseOperations to format values of basic data types with formatting f lags
Updated -
This package contains libraries to exactly print a curry-ast back to its source representation.
Updated -
-
curry-packages / cryptohash
BSD 3-Clause "New" or "Revised" LicenseLibrary for for simple cryptography hashing
Updated -
curry-packages / db-pakcs
BSD 3-Clause "New" or "Revised" LicenseOld database libraries for PAKCS (deprecated)
Updated -
-
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated -
curry-packages / flatcurry-compact
BSD 3-Clause "New" or "Revised" LicenseA tool to reduce the size of FlatCurry programs
Updated -
curry-packages / nonstrictunif-optimize
BSD 3-Clause "New" or "Revised" LicenseLinearity optimizer for functional patterns and non-strict unification
Updated