Curry Tools =========== This directory contains various tools for Curry that are used by different Curry systems, like PAKCS or KiCS2. Currently it contains: `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. `CASS`: This directory contains the implementation of the Curry Analysis Server System, a generic and distributed analysis system for Curry programs. `createmakefile`: A tool to create a simple makefile for a Curry application. `curry2js`: A compiler for Curry into JavaScript programs used in the generation of web user interfaces (WUIs). `currydoc`: A documentation generator for Curry programs. `currytest`: A test tool for Curry programs. `erd2curry`: A compiler to translate database (ER) models into Curry programs containing corresponding database operations. `genint`: A program for generating module interfaces and source code of a Curry module (used by the commands ":interface" and ":show" of some Curry systems). `importcalls`: A tool to show all calls to imported functions in a module. `typeinference`: This directory contains the implementation of a type inferencer for FlatCurry programs which annotates each expression occurring in a FlatCurry program with its actual type. `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.
Forked from
curry / curry-tools
578 commits behind, 2 commits ahead of the upstream repository.

Sandra Dylus
authored
Conflicts: spicey/scaffolding/AbstractCurryGoodies.curry xmldata/AbstractGoodies.curry
Name | Last commit | Last update |
---|---|---|
CASS | ||
addtypes | ||
analysis | ||
browser | ||
createmakefile | ||
curry2js | ||
currydoc | ||
currypp | ||
currytest | ||
erd2curry | ||
genint | ||
importcalls | ||
optimize | ||
spicey | ||
typeinference | ||
xmldata | ||
.gitignore | ||
Makefile | ||
README |