Explore projects

KiCS2: The Kiel Curry System v.2

OUTDATED, moved to https://github.com/curry-language/masala

OUTDATED, moved to https://github.com/cau-placc/smap

PAKCS: The Portland Aachen Kiel Curry System

OUTDATED, moved to https://github.com/cau-placc/curry-tools

OUTDATED, moved to https://github.com/curry-packages/cpm

OUTDATED, moved to https://github.com/curry-language/icurry_web

OUTDATED, moved to https://github.com/curry-language/curry2go

The Curry frontend

The sources of the tutorial on Curry.

The central repository index of CPM

A JSON library for 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