Explore projects
-
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 -
-
curry-packages / html2
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming with event-handler-based form processing
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 / wui2
BSD 3-Clause "New" or "Revised" LicenseLibraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
-
curry-packages / html-cgi
BSD 3-Clause "New" or "Revised" LicenseSupport for CGI programming in HTML libraries
Updated -