Explore projects

Libraries to deal with AbstractCurry programs

A tool to verify whether a Curry program executes without failures

Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner

Some auxiliaries used by the Curry preprocessor to check contracts

Libraries for automated, property-based testing of Curry programs

Libraries with operations to strongly encapsulate non-deterministic computations

An implementation of arrays with Braun trees

Computing strongly connected components

Read and update files containing properties in equational syntax

Operations to format values of basic data types with formatting f lags

A Curry Program Coverage tool