Curry Packages by Category (Version: August 8, 2020)

All package categories

Analysis Constraints Control Data Database Debugging Documentation IO Logic Meta Metaprogramming Narrowing Network Numeric Optimization Packaging Parsing Printing Programming Rewriting Substitution System Testing Unification User Interface Verification Web


Analysis

NameAPIDocExecutableSynopsisVersion
call-analysis API doc curry-ndopt A call-pattern analysis and transformation tool to improve lazy non-deterministic computations 2.0.0
casc API doc curry-style A tool to check the formatting style of Curry programs 2.0.0
cass API doc PDF cass CASS: the Curry Analysis Server System 2.0.0
cass-analysis API doc Libraries with various compile-time analyses for Curry 2.0.0
currybrowse API doc curry-browse A GUI to browse and analyze the modules of a Curry program 2.0.0
currydoc API doc curry-doc A documentation generator for Curry 2.0.0
currypp API doc PDF currypp The standard preprocessor of Curry 2.1.0
failfree API doc curry-failfree A tool to verify whether a Curry program executes without failures 1.0.0
importusage API doc curry-usedimports Library and tool to show the usage of imported entities of a module 1.0.0
peval API doc curry-peval A partial evaluator for Curry 2.0.0
peval-noshare API doc curry-pevalns A partial evaluator for Curry (without sharing) 0.0.1
residuation-analysis API doc curry-anaresinfo Analyzing the residuation behavior of Curry programs 0.0.1
stylechecker API doc curry-stylecheck A tool to check the formatting style of Curry programs 1.1.0
transbooleq API doc curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 2.0.0

Constraints

NameAPIDocExecutableSynopsisVersion
chr-curry API doc A library to use Constraint Handling Rules in Curry programs 2.0.0
clp-pakcs API doc CLP libraries for PAKCS 1.0.0
clpbool API doc A library with a constraint solver over the Booleans 2.0.0
clpfd-smt API doc Libraries for finite-domain constraints implemented with SMT/SAT 0.0.2
dimacs API doc An interface to SAT solvers supporting DIMACS. 0.0.1

Control

NameAPIDocExecutableSynopsisVersion
transformers API doc A portable library of functor and monad transformers 2.0.0

Data

NameAPIDocExecutableSynopsisVersion
array API doc An implementation of arrays with Braun trees. 0.0.1
bindata API doc Library to support reading/writing binary data 1.1.0
binint API doc Libraries with a binary representation of natural and integers 2.0.0
bpmn2bpel API doc Libraries to support a bi-directional transformation between BPMN and BPEL 0.1.0
containers   Library implementing various datastructures 3.0.0
csv API doc Library for reading/writing files in CSV format 1.0.0
finite-map API doc Library implementing finite maps (efficient mappings from keys to values) 0.0.1
graph-inductive API doc Library for inductive graphs 2.0.0
graphviz API doc Libraries to visualize graphs with Graphviz 2.0.0
json API doc A JSON library for Curry 2.0.0
peano API doc Library defining natural numbers in Peano representation 1.0.0
printf API doc Operations to format values of basic data types with formatting flags 0.0.1
propertyfile API doc Read and update files containing properties in equational syntax 0.0.1
queue API doc Library with double-ended queues supporting access at both ends in constant amortized time 0.0.1
read-legacy     A library for reading and writing from or to strings. 3.0.0
redblacktree API doc Libraries implementing red-black trees for tables and sets 0.0.1
roman API doc Library for roman numbers 2.0.0
scc API doc Computing strongly connected components 0.0.1
time     Library for handling date and time information. 3.0.0
traversal API doc Library to support lightweight generic traversals through tree-structured data 1.0.0
xml API doc Libraries for XML processing 2.0.0
xmldata API doc curry-data2xml A tool for generating XML conversion functions 2.0.0

Database

NameAPIDocExecutableSynopsisVersion
cdbi API doc Libraries for type-safe database programming 2.0.0
db-pakcs API doc Old database libraries for PAKCS (deprecated) 1.0.0
ertools API doc erd2curry Tools for dealing with database applications specified by entity-relationship diagrams 2.0.0
keydb API doc Libraries for accessing databases via database keys 2.0.0
spicey API doc PDF spiceup A web application framework for Curry 3.3.0

Debugging

NameAPIDocExecutableSynopsisVersion
coosy API doc coosy-gui A tool to observe functional logic computations 2.0.0
dsdcurry API doc dsdcurry A tool for declarative software development 1.0.0
profiling API doc Simple profiling library with operations to access run-time data 1.0.0
profiling-pakcs API doc Library to access profile data of the back-end Prolog system of PAKCS 1.0.0

Documentation

NameAPIDocExecutableSynopsisVersion
currydoc API doc curry-doc A documentation generator for Curry 2.0.0

IO

NameAPIDocExecutableSynopsisVersion
io-extra     Library with some useful extensions to the IO monad. 3.0.0

Logic

NameAPIDocExecutableSynopsisVersion
combinatorial API doc A collection of common non-deterministic and/or combinatorial operations 1.0.0
plural-arguments API doc curry-plural A tool to implement plural arguments in a Curry program 2.0.0
searchtree API doc Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list 1.0.0
searchtree-unsafe API doc Library to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free 1.0.0
setfunction-synthesis API doc synsetfun Prototype implementation of synthesizing set functions 0.0.1
setfunctions API doc Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner 0.0.1

Meta

NameAPIDocExecutableSynopsisVersion
distribution     This module contains definition of constants to obtain information concerning the current distribution of the Curry implementation. 3.0.0

Metaprogramming

NameAPIDocExecutableSynopsisVersion
abstract-curry API doc Libraries to deal with AbstractCurry programs 2.0.0
curry-ast API doc Libaries to represent Curry programs 2.2.0
exact-print API doc Libaries to exactly print curry-ast 1.0.0
flatcurry API doc Libraries to deal with FlatCurry programs 2.0.0
flatcurry-annotated API doc Libraries to represent FlatCurry programs with arbitrary annotations 2.0.0
icurry API doc PDF icurry Intermediate format for compiling Curry to imperative languages 3.0.1
javascript API doc Libraries to represent JavaScript programs in Curry 2.0.0
julia API doc Libraries to represent Julia programs in Curry 0.0.1
prolog API doc Libraries to represent Prolog programs in Curry 2.0.0
showflatcurry API doc curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 1.0.0

Narrowing

NameAPIDocExecutableSynopsisVersion
rewriting API doc Libraries for term rewriting and narrowing 2.1.0

Network

NameAPIDocExecutableSynopsisVersion
cpns API doc curry-cpnsd Curry port name server and sockets with symbolic names 0.0.1
ports API doc Library for distributed programming with ports 1.0.0
socket API doc Library for programming with sockets 0.0.1

Numeric

NameAPIDocExecutableSynopsisVersion
binint API doc Libraries with a binary representation of natural and integers 2.0.0
random API doc Library for pseudo-random number generation 0.0.1

Optimization

NameAPIDocExecutableSynopsisVersion
call-analysis API doc curry-ndopt A call-pattern analysis and transformation tool to improve lazy non-deterministic computations 2.0.0
contract-prover API doc curry-contracts A tool to verify contracts in FlatCurry programs 1.0.0
flatcurry-compact API doc curry-compactflat A tool to reduce the size of FlatCurry programs 0.0.1
nonstrictunif-optimize API doc curry-nonstrictopt Linearity optimizer for functional patterns 2.0.0
peval API doc curry-peval A partial evaluator for Curry 2.0.0
peval-noshare API doc curry-pevalns A partial evaluator for Curry (without sharing) 0.0.1
transbooleq API doc curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 2.0.0

Packaging

NameAPIDocExecutableSynopsisVersion
cpm API doc PDF cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.1.1
cpm-manage API doc cpm-manage Tools to manage the main repository of the Curry Package Manager 2.1.0

Parsing

NameAPIDocExecutableSynopsisVersion
csv API doc Library for reading/writing files in CSV format 1.0.0
det-parse API doc Deterministic parser combinators 0.0.1
fl-parser API doc Library with functional logic parser combinators 1.0.0
opt-parse API doc PDF An option parser for Curry 0.0.3
regexp API doc Library to specify the semantics of regular expressions 1.1.0

Printing

NameAPIDocExecutableSynopsisVersion
boxes API doc A pretty printer for boxes 2.0.0
wl-pprint API doc Pretty printing combinators for Curry (inspired by Leijen's library for Haskell) 0.0.1

Programming

NameAPIDocExecutableSynopsisVersion
abstract-haskell API doc Libraries to represent Haskell programs in Curry 2.0.0
addtypes API doc curry-addtypes A tool to add missing type signatures in a Curry program 2.0.0
base API doc Base libraries for Curry systems 1.0.0
benchmark-papers API doc exec-benchmarkpaper A tool to support executable benchmark papers 2.0.0
contracts API doc Some auxiliaries used by various Curry tools to check contracts 0.0.1
cpc API doc PDF cpc Curry Program Coverage tool 0.0.1
cpm API doc PDF cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.1.1
currypp API doc PDF currypp The standard preprocessor of Curry 2.1.0
dsdcurry API doc dsdcurry A tool for declarative software development 1.0.0
failfree API doc curry-failfree A tool to verify whether a Curry program executes without failures 1.0.0
global-variables API doc Library for handling global variables in PAKCS 1.0.0
makefile API doc curry-genmake Library and tool for generating makefiles 2.0.0
ninja API doc Representation and generation of Ninja files 1.0.0
pflp API doc Library for Probabilistic Functional Logic Programming 1.0.1
plural-arguments API doc curry-plural A tool to implement plural arguments in a Curry program 2.0.0
ports API doc Library for distributed programming with ports 1.0.0
random API doc Library for pseudo-random number generation 0.0.1
runcurry API doc runcurry Implementation of a command to run Curry programs directly 1.0.0
searchtree API doc Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list 1.0.0
searchtree-unsafe API doc Library to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free 1.0.0
setfunction-synthesis API doc synsetfun Prototype implementation of synthesizing set functions 0.0.1
setfunctions API doc Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner 0.0.1
showflatcurry API doc curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 1.0.0
sourceproggui API doc curry-showsource A simple GUI for highlighting functions in the source text of a Curry module. 1.0.0

Rewriting

NameAPIDocExecutableSynopsisVersion
rewriting API doc Libraries for term rewriting and narrowing 2.1.0

Substitution

NameAPIDocExecutableSynopsisVersion
rewriting API doc Libraries for term rewriting and narrowing 2.1.0

System

NameAPIDocExecutableSynopsisVersion
ansi-terminal API doc Library supporting formatted output on terminals 0.0.1
cryptohash API doc Library for simple cryptography hashing 0.0.1
currypath API doc Operations to deal with Curry module names and paths 0.0.1
directory     Library for accessing the directory structure of the underlying operating system. 3.0.0
execpath API doc Operations related to the program execution path 0.0.1
filepath     A library for FilePath manipulations, using Posix or Windows filepaths depending on the platform. 3.0.0
frontend-exec API doc Operations to execute the front end of the Curry system 0.0.1
process     A library for process manipulation and information. 3.0.0

Testing

NameAPIDocExecutableSynopsisVersion
benchmark-papers API doc exec-benchmarkpaper A tool to support executable benchmark papers 2.0.0
ccti API doc ccti Curry Concolic Testing Interpreter 0.0.1
contracts API doc Some auxiliaries used by various Curry tools to check contracts 0.0.1
currycheck API doc PDF curry-check A tool to support automatic testing of Curry programs 2.0.0
easycheck API doc Libraries for automated, property-based testing of Curry programs 0.0.1

Unification

NameAPIDocExecutableSynopsisVersion
rewriting API doc Libraries for term rewriting and narrowing 2.1.0

User Interface

NameAPIDocExecutableSynopsisVersion
ansi-terminal API doc Library supporting formatted output on terminals 0.0.1
graphviz API doc Libraries to visualize graphs with Graphviz 2.0.0
gui API doc Libraries for programming graphical user interfaces 2.0.0
ui API doc Libraries to implement declarative user interfaces 2.0.0
wui API doc Libraries to support the type-oriented construction of web user interfaces 2.0.0
wui2 API doc Libraries to support the type-oriented construction of web user interfaces based on the html2 package 0.0.1

Verification

NameAPIDocExecutableSynopsisVersion
contract-prover API doc curry-contracts A tool to verify contracts in FlatCurry programs 1.0.0
dimacs API doc An interface to SAT solvers supporting DIMACS. 0.0.1
failfree API doc curry-failfree A tool to verify whether a Curry program executes without failures 1.0.0
smtlib API doc Implementation of the SMT-LIB standard for Curry 0.0.1
smtlib-solver API doc This package provides general operations for an interactive communication with SMT solvers via stdin and stdout. 0.0.1
verify API doc curry-verify A tool to support the verification of Curry programs 2.0.0

Web

NameAPIDocExecutableSynopsisVersion
curry2js API doc curry2js A compiler for Curry into JavaScript programs used in WUIs. 2.0.0
html API doc curry-makecgi Libraries for HTML programming. 2.1.0
html-cgi API doc curry-cgi Support for CGI programming in HTML libraries 0.0.1
html2 API doc curry2cgi Libraries for HTML programming with event-handler-based form processing 0.0.1
javascript API doc Libraries to represent JavaScript programs in Curry 2.0.0
json API doc A JSON library for Curry 2.0.0
mail-utils API doc Library with operations for sending emails. 2.0.0
markdown API doc md2pdf Libraries to process markdown documents 3.1.0
spicey API doc PDF spiceup A web application framework for Curry 3.3.0
url API doc Library for dealing with URLs 1.0.0
wui API doc Libraries to support the type-oriented construction of web user interfaces 2.0.0
wui2 API doc Libraries to support the type-oriented construction of web user interfaces based on the html2 package 0.0.1
xml API doc Libraries for XML processing 2.0.0
xmldata API doc curry-data2xml A tool for generating XML conversion functions 2.0.0