Explore projects

Libraries to represent Haskell programs in Curry

Libraries to represent Prolog programs in Curry

The central repository index of CPM

An ECMAScript library for Curry

A call-pattern analysis and transformation tool to improve lazy non-deterministic computations

A tool for declarative software development

COOSy: A tool to observe functional logic computations

Libraries to implement declarative user interfaces

A tool to support executable benchmark papers

A library with a Boolean Constraint Solver based on BDDs.

A library to implement Constraint Handling Rules in Curry

Libraries for finite domain constraint programming with SMT solvers

A tool to implement plural arguments in a Curry program

A partial evaluator for Curry

Implementation of command "runcurry"

The standard preprocessor of Curry

A compiler for Curry into JavaScript programs used in WUIs.

A transformation tool to replace Boolean equalities by equational constraints