Explore projects
-
curry-packages / setfunction-synthesis
BSD 3-Clause "New" or "Revised" LicensePrototype implementation of synthesizing set functions
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 / ports
BSD 3-Clause "New" or "Revised" LicenseLibrary for distributed programming with ports
Updated -
curry-packages / global-variables
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global variables in 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-packages / bindata
BSD 3-Clause "New" or "Revised" LicenseLibrary to support reading/writing binary data
Updated -
Updated
-
Updated
-
curry-packages / smtlib
BSD 3-Clause "New" or "Revised" LicenseImplementation of the SMT-LIB standard for Curry
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 / execpath
BSD 3-Clause "New" or "Revised" LicenseOperations related to the program execution path
Updated -
curry-packages / keydb
BSD 3-Clause "New" or "Revised" LicenseLibraries for accessing databases via database keys
Updated -
curry-packages / cdbi
BSD 3-Clause "New" or "Revised" LicenseLibraries for type-safe database programming
Updated -
curry-packages / transformers
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
curry-packages / currypath
BSD 3-Clause "New" or "Revised" LicenseOperations to deal with Curry module names and paths
Updated -
curry-packages / curry-resources
BSD 3-Clause "New" or "Revised" LicenseUpdated -