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