Explore projects

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

Curry Concolic Testing Interpreter

The Curry Package Manager

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

The Curry Package Manager

The Curry frontend

Curry Front End (Bundle Repository)

Tools for Curry that are used in PAKCS and KiCS2

Tools for Curry that are used in PAKCS and KiCS2

Curr(y)gle Curry API search

A script to call SWI-Prolog with complete search

A JSON library for Curry

First version of KiCS, the Curry –> Haskell Compiler

KiCS2: The Kiel Curry System v.2

KiCS2: The Kiel Curry System v.2

KiCS2: The Kiel Curry System v.2

KiCS2: The Kiel Curry System v.2

KiCS2: The Kiel Curry System v.2

KiCS2: The Kiel Curry System v.2

Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung