Generic intermediate format for compiling Curry to imperative languages

The Curry Package Manager

KiCS2: The Kiel Curry System v.2

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

PAKCS: The Portland Aachen Kiel Curry System

Tools for Curry that are used in PAKCS and KiCS2

The Curry frontend

A tool to verify properties of Curry programs (contracts, non-failing)

The central repository index of CPM

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

Tools to support the verification of Curry programs

The base libraries of Curry distributions, like PAKCS or KiCS2

The base libraries of PAKCS and KiCS2 (fork)

A JSON library for Curry

Libraries to deal with AbstractCurry programs

The Curry Analysis Server System

Computing strongly connected components