Explore projects

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

Analyzing the residuation behavior of Curry programs

The library folders, with separate branches for kics2, pakcs and the common libraries

Library defining natural numbers in Peano representation

Library implementing finite maps (efficient mappings from keys to values)

A collection of common non-deterministic and/or combinatorial operations

Library to support lightweight generic traversals through tree-structured data

Libraries to represent Go programs in Curry

Masala: The Repository of Curry Packages

Library for handling global entities in programs