Explore projects

Seminar paper on Selective Applicative Functors

Possible topics for the (masters') seminar.

A tool to support executable benchmark papers

A documentation generator for Curry

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

KiCS2: The Kiel Curry System v.2

Tools for Curry that are used in PAKCS and KiCS2

The sources of the tutorial on Curry.

The Curry Report

Automatic testing framework for Play web applications written in Scala