Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Fredrik Wieczerkowski
curry-tools
Commits
921494d3
Commit
921494d3
authored
Nov 22, 2017
by
Michael Hanus
Browse files
README updated
parent
7f198c38
Changes
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
921494d3
Curry Tools
===========
This directory contains
various
tools for Curry
This directory contains
some base
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.
`cpm`
This repository contains the Curry package manager (CPM)
with the main executable
`cypm`
.
CPM is a tool to distribute and install Curry packages.
It can be used to download further Curry libraries and applications.
`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.
(see library
`NamedSocket`
for more details).
`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.
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment