Explore projects
-
curry-packages / smtlib-solver
BSD 3-Clause "New" or "Revised" LicenseThis package provides general operations for an interactive communication with SMT solvers via stdin and stdout.
Updated -
curry-packages / base
BSD 3-Clause "New" or "Revised" LicenseBase libraries for Curry systems
Updated -
-
curry-packages / smtlib
BSD 3-Clause "New" or "Revised" LicenseImplementation of the SMT-LIB standard for Curry
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 / global-variables
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global variables in PAKCS
Updated -
curry-packages / ports
BSD 3-Clause "New" or "Revised" LicenseLibrary for distributed programming with ports
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 / csv
BSD 3-Clause "New" or "Revised" LicenseLibrary for reading/writing files in CSV format
Updated -
curry-packages / fl-parser
BSD 3-Clause "New" or "Revised" LicenseLibrary with functional logic parser combinators
Updated -
-
curry-packages / wl-pprint
BSD 3-Clause "New" or "Revised" LicensePretty printing combinators for Curry (inspired by Leijen's library for Haskell)
Updated -
-
curry-packages / cdbi
BSD 3-Clause "New" or "Revised" LicenseLibraries for type-safe database programming
Updated -
curry-packages / keydb
BSD 3-Clause "New" or "Revised" LicenseLibraries for accessing databases via database keys
Updated -
curry-packages / db-pakcs
BSD 3-Clause "New" or "Revised" LicenseOld database libraries for PAKCS (deprecated)
Updated -
curry-packages / gui
BSD 3-Clause "New" or "Revised" LicenseLibraries for programming graphical user interfaces
Updated -
curry-packages / abstract-curry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with AbstractCurry programs
Updated -
curry-packages / nonstrictunif-optimize
BSD 3-Clause "New" or "Revised" LicenseLinearity optimizer for functional patterns and non-strict unification
Updated -
curry-packages / flatcurry-compact
BSD 3-Clause "New" or "Revised" LicenseA tool to reduce the size of FlatCurry programs
Updated