Explore projects

A tool to implement plural arguments in a Curry program

A partial evaluator for Curry

Implementation of command "runcurry"

The standard preprocessor of Curry

A compiler for Curry into JavaScript programs used in WUIs.

A transformation tool to replace Boolean equalities by equational constraints

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

A simple GUI for highlighting functions in the source text

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

Shows the usage of imported entities in a module

A documentation generator for Curry

Libraries for term rewriting and narrowing

A Pretty Printer for Two Dimensions

A style checker for Curry programs

A tool to add missing type signatures to top-level operations in a Curry module

Tools to support the verification of Curry programs

The Spicey web framework for Curry

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

The Curry Analysis Server System