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

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

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

COOSy: A tool to observe functional logic computations

Implementation of command "runcurry"

A simple GUI for highlighting functions in the source text

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

Libraries to process markdown documents

Libraries to visualize graphs with Graphviz

Generic intermediate format for compiling Curry to imperative languages

Libraries to deal with AbstractCurry programs

Tools for database applications specified by entity-relationship diagrams (ERDs)