Explore projects

KiCS2: The Kiel Curry System v.2

PAKCS: The Portland Aachen Kiel Curry System

Libraries with operations to strongly encapsulate non-deterministic computations

Analyzing the residuation behavior of Curry programs

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

Library defining natural numbers in Peano representation

Library implementing finite maps (efficient mappings from keys to values)

A collection of common non-deterministic and/or combinatorial operations

Library to support lightweight generic traversals through tree-structured data

Libraries to represent Go programs in Curry

Tools for Curry that are used in PAKCS and KiCS2

Masala: The Repository of Curry Packages

Library for handling global entities in programs

Library to access profile data of the back-end Prolog system of PAKCS

Libraries to represent Julia programs in Curry

Libraries for programming graphical user interfaces

Libraries for HTML programming with event-handler-based form processing