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

The Curry Package Manager

A script to call SWI-Prolog with complete search

The base libraries of Curry distributions, like PAKCS or KiCS2

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

Backup repository for the "Advanced Programming" course.

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