KiCS2: The Kiel Curry System v.2

The Spicey web framework for Curry

PAKCS: The Portland Aachen Kiel Curry System

The Curry frontend

The Curry Analysis Server System

The central repository index of CPM

The Curry Package Manager

Operations to deal with Curry module names and paths

The base libraries of PAKCS and KiCS2 (fork)

The base libraries of Curry distributions, like PAKCS or KiCS2

Tools for Curry that are used in PAKCS and KiCS2

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

A script to call SWI-Prolog with complete search

Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner

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

Library with to represent strongly encapsulated non-deterministic computations as a search tree