Explore projects

PAKCS: The Portland Aachen Kiel Curry System

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

First version of KiCS, the Curry –> Haskell Compiler

A partial evaluator for Curry

Masterprojekt im Sommersemester 2017: Dr. Haskell

Libraries for HTML programming

A Curry Program Coverage tool

Scripts for building Curry (DEB) packages

PAKCS: The Portland Aachen Kiel Curry System

The Curry Package Manager

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

KiCS2: The Kiel Curry System v.2

KiCS2: The Kiel Curry System v.2

Tools for Curry that are used in PAKCS and KiCS2

KiCS2: The Kiel Curry System v.2

KiCS2: The Kiel Curry System v.2

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

Tools for Curry that are used in PAKCS and KiCS2