Explore projects

COOSy: A tool to observe functional logic computations

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

A tool to implement plural arguments in a Curry program

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

Library defining natural numbers in Peano representation

A script to call SWI-Prolog with complete search

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

Library to specify the semantics of regular expressions

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

Tools to support the verification of Curry programs

A JSON library for Curry

Computing strongly connected components

Some hints and scripts for package administration

Library of deterministic parser combinators

Libraries to read and write FlatCurry programs with type annotations

A tool to transform Prolog programs to Curry programs