Explore projects

KiCS2: The Kiel Curry System v.2

The Curry Report

Curry Front End (Bundle Repository)

PAKCS: The Portland Aachen Kiel Curry System

Tools for Curry that are used in PAKCS and KiCS2

KiCS2: The Kiel Curry System v.2

A JSON library for Curry

Tools for Curry that are used in PAKCS and KiCS2

First version of KiCS, the Curry –> Haskell Compiler

Automatic testing framework for Play web applications written in Scala