Explore projects

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

Tools for Curry that are used in PAKCS and KiCS2

The base libraries of Curry distributions, like PAKCS or KiCS2

A web-based editor and browser for small programs.

Fork of the holumbus framework

Operations to deal with Curry module names and paths

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