PAKCS: The Portland Aachen Kiel Curry System

The Curry frontend

Basic Curry modules for the frontend

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

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

The central repository index of CPM

The standard preprocessor of Curry

Possible topics for the (masters') seminar.

Libraries to support the type-oriented construction of web user interfaces based on the html2 package

The Curry Package Manager

Operations to execute the front end of the Curry system

Library for for simple cryptography hashing

The Spicey web framework for Curry

KiCS2: The Kiel Curry System v.2

Tools for Curry that are used in PAKCS and KiCS2

Curr(y)gle Curry API search

Libraries for HTML programming

GnuPG public keys for PS-IfI developers and the PS-IfI archive