Curry Packages in the CPM Repository (September 23, 2017)

NameAPIDocExecutableSynopsisVersion
abstract-haskell API   Libraries to represent Haskell programs in Curry 2.0.0
addtypes API   curry-addtypes A tool to add missing type signatures in a Curry program 0.0.1
benchmark-papers API   exec-benchmarkpaper A tool to support executable benchmark papers 0.0.1
binint API   Libraries with a binary representation of natural and integers 0.0.1
boxes API   A pretty printer for boxes 0.0.2
bpmn2bpel API   Libraries to support a bi-directional transformation between BPMN and BPEL 0.0.1
call-analysis API   curry-ndopt A call-pattern analysis and transformation tool to improve lazy non-deterministic computations 0.0.1
casc API   curry-style A tool to check the formatting style of Curry programs 0.0.1
cass API PDF cass CASS: the Curry Analysis Server System 0.0.1
cass-analysis API   Libraries with various compile-time analyses for Curry 0.0.4
chr-curry API   A library to use Constraint Handling Rules in Curry programs 1.0.0
clpbool API   A library with a constraint solver over the Booleans 0.0.1
clpfd-smt API   Libraries for finite-domain constraints implemented with SMT/SAT 0.0.2
contract-prover API   curry-ctopt A tool to optimize contracts in FlatCurry programs by proving contracts 0.0.1
coosy API   coosy-gui A tool to observe functional logic computations 1.0.0
cpc API PDF cpc Curry Program Coverage tool 0.0.1
cpm API PDF cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.2
cpm-manage API   cpm-manage Tools to manage the main repository of the Curry Package Manager 0.0.3
curry2js API   curry2js A compiler for Curry into JavaScript programs used in WUIs. 0.2.0
currybrowse API   curry-browse A GUI to browse and analyze the modules of a Curry program 0.5.0
currycheck API PDF curry-check A tool to support automatic testing of Curry programs 1.0.1
currydoc API   curry-doc A documentation generator for Curry 0.8.3
currypp API PDF currypp The standard preprocessor of Curry 0.3.2
det-parse API   Deterministic parser combinators 0.0.1
dimacs API   An interface to SAT solvers supporting DIMACS. 0.0.1
dsdcurry API   dsdcurry A tool for declarative software development 1.0.0
ertools API   erd2curry Tools for dealing with database applications specified by entity-relationship diagrams 1.0.0
flatcurry-annotated API   Libraries to represent FlatCurry programs with arbitrary annotations 1.0.0
graph-inductive API   Library for inductive graphs 1.0.0
graphviz API   Libraries to visualize graphs with Graphviz 1.0.0
html API   Libraries for HTML programming. 1.0.0
importusage API   curry-usedimports Library and tool to show the usage of imported entities of a module 0.0.1
javascript API   Libraries to represent JavaScript programs in Curry 1.0.0
json API   A JSON library for Curry 0.0.3
mail API   Library with operations for sending emails. 1.0.0
makefile API   curry-genmake Library and tool for generating makefiles 0.0.3
markdown API   md2pdf Libraries to process markdown documents 1.0.0
opt-parse API PDF An option parser for Curry 0.0.3
peval API   curry-peval A partial evaluator for Curry 1.0.0
plural-arguments API   curry-plural A tool to implement plural arguments in a Curry program 0.0.1
prolog API   Libraries to represent Prolog programs in Curry 1.0.0
regexp API   Library to specify the semantics of regular expressions 1.0.0
rewriting API   Libraries for term rewriting and narrowing 0.0.1
roman API   Library for roman numbers 0.0.1
runcurry API   runcurry Implementation of a command to run Curry programs directly 0.0.1
showflatcurry API   curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 0.0.1
sourceproggui API   curry-showsource A simple GUI for highlighting functions in the source text of a Curry module. 0.0.1
spicey API   spiceup A web application framework for Curry 1.1.0
transbooleq API   curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 0.2.0
ui API   Libraries to implement declarative user interfaces 1.0.0
url API   Library for dealing with URLs 1.0.0
verify API   curry-verify A tool to support the verification of Curry programs 0.0.2
wui API   Libraries to support the type-oriented construction of web user interfaces 1.0.0
xmldata API   curry-data2xml A tool for generating XML conversion functions 0.0.1