KiCS2: The Kiel Curry System v.2

KiCS2: The Kiel Curry System v.2

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

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

PAKCS: The Portland Aachen Kiel Curry System

Basic Curry modules for the frontend

The Curry frontend

Libraries to represent FlatCurry programs with arbitrary annotations

Libraries to deal with FlatCurry programs

Tools for Curry that are used in PAKCS and KiCS2

The Curry Package Manager

A documentation generator for Curry

Libraries for programming graphical user interfaces

Libraries to represent JavaScript programs in Curry

Libraries to represent Prolog programs in Curry

A compiler for Curry into JavaScript programs used in WUIs.

The central repository index of CPM

Libraries for type-safe database programming

Simple management functions for the Curry Package Manager

A Pretty Printer for Two Dimensions