Explore projects

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

Library and tool to show FlatCurry programs in human-readable (Curry-like) form

A simple GUI for highlighting functions in the source text

A GUI to browse and analyze the modules of a Curry program

Shows the usage of imported entities in a module

A documentation generator for Curry

Libraries for term rewriting and narrowing

Library for roman numbers

The Curry Package Manager (deprecated, current version moved to group curry-packages)

Source code developed in tutorials belonging to Frank Huchs lecture on Functional Programming in winter semester 2016 / 2017

Basic Curry modules for the frontend

Curry Front End (Bundle Repository)

The Curry frontend