GitLab

A tool to verify whether a Curry program executes without failures

The Curry frontend

PAKCS: The Portland Aachen Kiel Curry System

A universal REPL which can be used on top of a Curry compiler

A compiler and run-time system to compile and run Curry programs as Go programs

The central repository index of CPM

A library to implement Constraint Handling Rules in Curry

Libraries to support a bi-directional transformation between BPMN and BPEL

A tool to implement plural arguments in a Curry program

This package provides an interface to SAT solvers supporting the DIMACS format.

A tool to verify whether a Curry program executes without failures

The Spicey web framework for Curry

The base libraries of Curry distributions, like PAKCS or KiCS2

Library for inductive graphs

The sources of the tutorial on Curry.

The standard preprocessor of Curry

Generic intermediate format for compiling Curry to imperative languages

Libraries to represent Go programs in Curry

Libraries to deal with FlatCurry programs