Explore projects

Curry Concolic Testing Interpreter

A style checker for Curry programs

KiCS2: The Kiel Curry System v.2

Old database libraries for PAKCS (deprecated)

Libraries for finite domain constraint programming with SMT solvers

The Curry frontend

The Curry Package Manager

The central repository index of CPM

The library folders, with separate branches for kics2, pakcs and the common libraries

PAKCS: The Portland Aachen Kiel Curry System

KiCS2: The Kiel Curry System v.2

The Curry Report

Fork of the holumbus framework

Fork of the holumbus framework

Scripts for building Curry (DEB) packages

Masterprojekt im Sommersemester 2017: Dr. Haskell

Basic Curry modules for the frontend

A Curry Program Coverage tool