Explore projects

OUTDATED, moved to https://github.com/curry-language/tutorial

OUTDATED, moved to https://github.com/curry-language/report

Automatic testing framework for Play web applications written in Scala

KiCS2: The Kiel Curry System v.2

Seminar paper on Selective Applicative Functors

A documentation generator for Curry

OUTDATED, moved to https://github.com/cau-placc/curry-tools

Tools for Curry that are used in PAKCS and KiCS2

Possible topics for the (masters') seminar.

A tool to support executable benchmark papers

Tools for Curry that are used in PAKCS and KiCS2

KiCS2: The Kiel Curry System v.2