Explore projects

KiCS2: The Kiel Curry System v.2

Operations to deal with Curry module names and paths

A transformation tool to replace Boolean equalities by equational constraints

Library to access profile data of the back-end Prolog system of PAKCS

A curry libary to read the TypedFlatCurry format (*.tfcy) and convert it to AnnotatedFlatCurry (see flatcurry-annotated package)

Shows the usage of imported entities in a module

CLP libraries for PAKCS

A script to call SWI-Prolog with complete search

Library with to represent strongly encapsulated non-deterministic computations as a search tree

The Curry Package Manager

Backup repository for the "Advanced Programming" course.

A tool to query analysis information about entities defined in some Curry package

A tool to verify properties of Curry programs (contracts, non-failing)