GitLab

KiCS2: The Kiel Curry System v.2

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

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

Library defining natural numbers in Peano representation

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

The central repository index of CPM

Libraries to represent Go programs in Curry

The Curry Package Manager

Generic intermediate format for compiling Curry to imperative languages

Libraries for XML processing

PAKCS: The Portland Aachen Kiel Curry System

The base libraries of Curry distributions, like PAKCS or KiCS2

The sources of the tutorial on Curry.

The Curry frontend

Utilities for sending emails

Operations to execute the front end of the Curry system

Tools for Curry that are used in PAKCS and KiCS2

The Curry Analysis Server System