Explore projects
-
Jasper Paul Sikorra / hurry-translator
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Jasper Paul Sikorra / ecmascript
BSD 3-Clause "New" or "Revised" LicenseAn ECMAScript library for Curry
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 / dsdcurry
BSD 3-Clause "New" or "Revised" LicenseA tool for declarative software development
Updated -
curry-packages / coosy
BSD 3-Clause "New" or "Revised" LicenseCOOSy: A tool to observe functional logic computations
Updated -
curry-packages / ui
BSD 3-Clause "New" or "Revised" LicenseLibraries to implement declarative user interfaces
Updated -
curry-packages / benchmark-papers
BSD 3-Clause "New" or "Revised" LicenseA tool to support executable benchmark papers
Updated -
curry-packages / clpbool
BSD 3-Clause "New" or "Revised" LicenseA library with a Boolean Constraint Solver based on BDDs.
Updated -
curry-packages / chr-curry
BSD 3-Clause "New" or "Revised" LicenseA library to implement Constraint Handling Rules in Curry
Updated -
curry-packages / clpfd-smt
BSD 3-Clause "New" or "Revised" LicenseLibraries for finite domain constraint programming with SMT solvers
Updated -
curry-packages / plural-arguments
BSD 3-Clause "New" or "Revised" LicenseA tool to implement plural arguments in a Curry program
Updated -
-
curry-packages / runcurry
BSD 3-Clause "New" or "Revised" LicenseImplementation of command "runcurry"
Updated -
curry-packages / residuation-analysis
BSD 3-Clause "New" or "Revised" LicenseAnalyzing the residuation behavior of Curry programs
Updated -
curry-packages / filepath
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / containers
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / io-extra
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / read-legacy
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / time
BSD 3-Clause "New" or "Revised" LicenseUpdated