This directory contains various tools for Curry that are used by different Curry systems, like PAKCS or KiCS2.

Currently, it contains the following tools:

addtypes: A tool that adds type signatures to a given Curry program.

analysis: A directory containing various analyses for Curry programs. These are used in the CASS and currydoc tools.

browser: A tool to browse through the modules and functions of a Curry program, show them in various formats, and analyze their properties.

casc: A style checker for Curry programs.

CASS: This directory contains the implementation of the Curry Analysis Server System, a generic and distributed analysis system for Curry programs.

cpns: This directory contains scripts and executables for the Curry Port Name Server (CPNS) which is responsible for managing the symbolic names assigned to the named sockes and ports on a local machine (see libraries NamedSocket and Ports for more details).

curry2js: A compiler for Curry into JavaScript programs used in the generation of web user interfaces (WUIs).

currycheck: A property test tool for Curry programs.

currydoc: A documentation generator for Curry programs.

currypp: A preprocessor for Curry programs implementing integrated code, default rules, deterministic functions, and dynamic contract checking.

currytest: A test tool for Curry programs.

ertools: Compilers to translate database (ER) models into Curry programs providing high-level access to relational databases.

importcalls: A tool to show all calls to imported functions in a module.

optimize: The implementation of optimization tools cor Curry, in particular, a transformation tool to replace Boolean equalities by unification constraints.

runcurry: The implementation of the command runcurry.

spicey: The implementation of Curry's web framework Spicey.

verification: This directory contains tools to support the verification of Curry programs, e.g., a translator of Curry programs into Agda.

www: This directory contains scripts and executables for the event handler server that is required to execute dynamic web pages implemented with the libraries HTML or WUI.

xmldata: This directory contains a tool to generate conversion functions between data types and XML representations. The corresponding tool is called by the command data2xml in the binary directory of the Curry system.