Explore projects

Tools to support the verification of Curry programs

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

Library to specify the semantics of regular expressions

Libraries with operations to strongly encapsulate non-deterministic computations

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

Operations to deal with Curry module names and paths

The Curry Analysis Server System

Library defining natural numbers in Peano representation

Library and tool to show FlatCurry programs in human-readable (Curry-like) form

A tool to implement plural arguments in a Curry program

A call-pattern analysis and transformation tool to improve lazy non-deterministic computations

A documentation generator for Curry

COOSy: A tool to observe functional logic computations

Implementation of command "runcurry"

A simple GUI for highlighting functions in the source text

A GUI to browse and analyze the modules of a Curry program