Tools for Curry that are used in PAKCS and KiCS2
The sources of the tutorial on Curry.
A documentation generator for Curry
Possible topics for the (masters') seminar.
A tool to support executable benchmark papers
Seminar paper on Selective Applicative Functors
KiCS2: The Kiel Curry System v.2
The Curry Report
Automatic testing framework for Play web applications written in Scala