Explore projects

A tool to query analysis information about entities defined in some Curry package

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

PAKCS: The Portland Aachen Kiel Curry System

The central repository index of CPM

The Curry frontend

KiCS2: The Kiel Curry System v.2

Tools for Curry that are used in PAKCS and KiCS2

The base libraries of Curry distributions, like PAKCS or KiCS2

A web-based editor and browser for small programs.

Masala: The Repository of Curry Packages

The sources of the tutorial on Curry.

Dasselbe, aber mit prolog-tests.

Library for programming with sockets

The Spicey web framework for Curry

Some auxiliaries used by the Curry preprocessor to check contracts

Shows the usage of imported entities in a module

Operations to deal with Curry module names and paths