Explore projects
-
curry-packages / bpmn2bpel
BSD 3-Clause "New" or "Revised" LicenseLibraries to support a bi-directional transformation between BPMN and BPEL
Updated -
curry-packages / call-analysis
BSD 3-Clause "New" or "Revised" LicenseA call-pattern analysis and transformation tool to improve lazy non-deterministic computations
Updated -
-
curry-packages / cass
BSD 3-Clause "New" or "Revised" LicenseThe Curry Analysis Server System
Updated -
curry-packages / cass-analysis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / ccti
BSD 3-Clause "New" or "Revised" LicenseCurry Concolic Testing Interpreter
Updated -
curry-packages / cdbi
BSD 3-Clause "New" or "Revised" LicenseLibraries for type-safe database programming
Updated -
-
curry-packages / chr-curry
BSD 3-Clause "New" or "Revised" LicenseA library to implement Constraint Handling Rules in Curry
Updated -
-
curry-packages / clpbool
BSD 3-Clause "New" or "Revised" LicenseA library with a Boolean Constraint Solver based on BDDs.
Updated -
curry-packages / clpfd-smt
BSD 3-Clause "New" or "Revised" LicenseLibraries for finite domain constraint programming with SMT solvers
Updated -
curry-packages / combinatorial
BSD 3-Clause "New" or "Revised" LicenseA collection of common non-deterministic and/or combinatorial operations
Updated -
curry-packages / containers
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / contract-prover
BSD 3-Clause "New" or "Revised" LicenseA tool to optimize contracts in FlatCurry programs by proving contracts
Updated -
curry-packages / contracts
BSD 3-Clause "New" or "Revised" LicenseSome auxiliaries used by the Curry preprocessor to check contracts
Updated -
curry-packages / coosy
BSD 3-Clause "New" or "Revised" LicenseCOOSy: A tool to observe functional logic computations
Updated -
-
The Curry Package Manager (deprecated, current version moved to group curry-packages)
Updated -