KiCS2: The Kiel Curry System v.2

The library folders, with separate branches for kics2, pakcs and the common libraries

The sources of the tutorial on Curry.

The Curry frontend

PAKCS: The Portland Aachen Kiel Curry System

Basic Curry modules for the frontend

Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry

The Curry Package Manager

Tools to support the verification of Curry programs

A tool to optimize contracts in FlatCurry programs by proving contracts

Tools for Curry that are used in PAKCS and KiCS2

Generic intermediate format for compiling Curry to imperative languages

The central repository index of CPM

Simple management functions for the Curry Package Manager

Curry port name server and sockets with symbolic namesCurry port name server and sockets with symbolic names

CLP libraries for PAKCS