Explore projects

A JSON library for Curry

The Curry frontend

Basic Curry modules for the frontend

Tools for Curry that are used in PAKCS and KiCS2

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

The Curry frontend

Basic Curry modules for the frontend

KiCS2: The Kiel Curry System v.2

The base libraries of Curry distributions, like PAKCS or KiCS2

Scripts for building Curry (DEB) packages

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

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

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

QuickCheck tests for exercises

Support for CGI programming in HTML libraries

Some hints and scripts for package administration

Seminar paper on Selective Applicative Functors

Operations to execute the front end of the Curry system

A curry libary to read the TypedFlatCurry format (*.tfcy) and convert it to AnnotatedFlatCurry (see flatcurry-annotated package)