Explore projects

The standard preprocessor of Curry

Utilities for sending emails

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

The Spicey web framework for Curry

Tools for database applications specified by entity-relationship diagrams (ERDs)

Libraries to deal with AbstractCurry programs

The central repository index of CPM

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

PAKCS: The Portland Aachen Kiel Curry System

Tools for Curry that are used in PAKCS and KiCS2

The Curry Package Manager

The Curry frontend

Simple management functions for the Curry Package Manager

Generic intermediate format for compiling Curry to imperative languages

Libraries to visualize graphs with Graphviz

Possible topics for the (masters') seminar.

CLP libraries for PAKCS

The base libraries of Curry distributions, like PAKCS or KiCS2

A web-based editor and browser for small programs.

KiCS2: The Kiel Curry System v.2