Explore projects

First version of KiCS, the Curry –> Haskell Compiler

Tools for Curry that are used in PAKCS and KiCS2

KiCS2: The Kiel Curry System v.2

Tools for Curry that are used in PAKCS and KiCS2

PAKCS: The Portland Aachen Kiel Curry System

A Curry Program Coverage tool

Masterprojekt im Sommersemester 2017: Dr. Haskell

Scripts for building Curry (DEB) packages

KiCS2: The Kiel Curry System v.2

PAKCS: The Portland Aachen Kiel Curry System

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

The Curry Package Manager

KiCS2: The Kiel Curry System v.2

A partial evaluator for Curry

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

KiCS2: The Kiel Curry System v.2

User- and host creation/removal hook scripts for FusionDirectory

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

Backup repository for the "Advanced Programming" course.