Explore projects

The Curry frontend

KiCS2: The Kiel Curry System v.2

A web-based editor and browser for small programs.

Masala: The Repository of Curry Packages

The sources of the tutorial on Curry.

The Spicey web framework for Curry

The Curry Package Manager

Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung

A script to call SWI-Prolog with complete search

A tool to transform Prolog programs to Curry programs

Curr(y)gle Curry API search

Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry

KiCS2: The Kiel Curry System v.2

The Curry Package Manager (deprecated, current version moved to group curry-packages)

GnuPG public keys for PS-IfI developers and the PS-IfI archive

KiCS2: The Kiel Curry System v.2

Curry Concolic Testing Interpreter

KiCS2: The Kiel Curry System v.2

The Curry Package Manager

PAKCS: The Portland Aachen Kiel Curry System