Curry Packages in the CPM Repository (Version: August 8, 2020)

NameAPIDocExecutableSynopsisVersion
abstract-curry API doc Libraries to deal with AbstractCurry programs 1.0.0
abstract-curry API doc Libraries to deal with AbstractCurry programs 2.0.0
abstract-curry   Libraries to deal with AbstractCurry programs 3.0.0
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 0.0.1
addtypes API doc curry-addtypes A tool to add missing type signatures in a Curry program 2.0.0
ansi-terminal API doc Library supporting formatted output on terminals 0.0.1
array API doc An implementation of arrays with Braun trees. 0.0.1
base API doc Base libraries for Curry systems 1.0.0
base API doc Base libraries for Curry systems 3.0.0
benchmark-papers API doc exec-benchmarkpaper A tool to support executable benchmark papers 0.0.1
benchmark-papers API doc exec-benchmarkpaper A tool to support executable benchmark papers 2.0.0
bindata API doc Library to support reading/writing binary data 1.0.0
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 0.0.1
binint API doc Libraries with a binary representation of natural and integers 2.0.0
boxes     A pretty printer for boxes 0.0.1
boxes API doc A pretty printer for boxes 0.0.2
boxes API doc A pretty printer for boxes 2.0.0
boxes   A pretty printer for boxes 3.0.0
bpmn2bpel API doc Libraries to support a bi-directional transformation between BPMN and BPEL 0.0.1
bpmn2bpel API doc Libraries to support a bi-directional transformation between BPMN and BPEL 0.1.0
call-analysis API doc curry-ndopt A call-pattern analysis and transformation tool to improve lazy non-deterministic computations 0.0.1
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 0.0.1
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 0.0.1
cass API doc PDF cass CASS: the Curry Analysis Server System 2.0.0
cass   PDF cass CASS: the Curry Analysis Server System 3.0.0
cass-analysis   Libraries with various compile-time analyses for Curry 0.0.1
cass-analysis   Libraries with various compile-time analyses for Curry 0.0.2
cass-analysis   Libraries with various compile-time analyses for Curry 0.0.3
cass-analysis API doc Libraries with various compile-time analyses for Curry 0.0.4
cass-analysis API doc Libraries with various compile-time analyses for Curry 2.0.0
cass-analysis   Libraries with various compile-time analyses for Curry 3.0.0
ccti API doc ccti Curry Concolic Testing Interpreter 0.0.1
cdbi API doc Libraries for type-safe database programming 1.0.0
cdbi   Libraries for type-safe database programming 1.1.0
cdbi API doc Libraries for type-safe database programming 2.0.0
cdbi   Libraries for type-safe database programming 3.0.0
chr-curry   A library to use Constraint Handling Rules in Curry programs 0.0.1
chr-curry API doc A library to use Constraint Handling Rules in Curry programs 1.0.0
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 0.0.1
clpbool API doc A library with a constraint solver over the Booleans 2.0.0
clpfd-smt   Libraries for finite-domain constraints implemented with SMT/SAT 0.0.1
clpfd-smt API doc Libraries for finite-domain constraints implemented with SMT/SAT 0.0.2
combinatorial API doc A collection of common non-deterministic and/or combinatorial operations 1.0.0
containers   Library implementing various datastructures 3.0.0
contract-prover API doc curry-ctopt A tool to optimize contracts in FlatCurry programs by proving contracts 0.0.1
contract-prover API doc curry-contracts A tool to verify contracts in FlatCurry programs 1.0.0
contracts API doc Some auxiliaries used by various Curry tools to check contracts 0.0.1
coosy API doc coosy-gui A tool to observe functional logic computations 1.0.0
coosy API doc coosy-gui A tool to observe functional logic computations 2.0.0
cpc API doc PDF cpc Curry Program Coverage tool 0.0.1
cpm     Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.0.1
cpm     Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.0.2
cpm   cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.0.3
cpm   cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.0.4
cpm   cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.1.0
cpm   cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.1.1
cpm   PDF cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.0
cpm   PDF cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.1
cpm   PDF cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.2
cpm API doc PDF cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.3
cpm   PDF cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 1.0.0
cpm API doc PDF cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.0.0
cpm API doc PDF cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.1.0
cpm API doc PDF cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.1.1
cpm   PDF cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 3.0.0
cpm-manage   cpm-manage Tools to manage the main repository of the Curry Package Manager 0.0.1
cpm-manage   cpm-manage Tools to manage the main repository of the Curry Package Manager 0.0.2
cpm-manage API doc cpm-manage Tools to manage the main repository of the Curry Package Manager 0.0.3
cpm-manage API doc cpm-manage Tools to manage the main repository of the Curry Package Manager 2.0.0
cpm-manage API doc cpm-manage Tools to manage the main repository of the Curry Package Manager 2.1.0
cpns API doc curry-cpnsd Curry port name server and sockets with symbolic names 0.0.1
cryptohash API doc Library for simple cryptography hashing 0.0.1
csv API doc Library for reading/writing files in CSV format 1.0.0
csv   Library for reading/writing files in CSV format 3.0.0
curry-ast API doc Libaries to represent Curry programs 2.0.0
curry-ast   Libaries to represent Curry programs 2.1.0
curry-ast API doc Libaries to represent Curry programs 2.2.0
curry2js API doc curry2js A compiler for Curry into JavaScript programs used in WUIs. 0.2.0
curry2js API doc curry2js A compiler for Curry into JavaScript programs used in WUIs. 2.0.0
currybrowse API doc curry-browse A GUI to browse and analyze the modules of a Curry program 0.5.0
currybrowse API doc curry-browse A GUI to browse and analyze the modules of a Curry program 2.0.0
currycheck   curry-check A tool to support automatic testing of Curry programs 1.0.0
currycheck   PDF curry-check A tool to support automatic testing of Curry programs 1.0.1
currycheck API doc PDF curry-check A tool to support automatic testing of Curry programs 1.1.0
currycheck API doc PDF curry-check A tool to support automatic testing of Curry programs 2.0.0
currydoc     curry-doc A documentation generator for Curry 0.8.2
currydoc API doc curry-doc A documentation generator for Curry 0.8.3
currydoc API doc curry-doc A documentation generator for Curry 2.0.0
currypath API doc Operations to deal with Curry module names and paths 0.0.1
currypath   Operations to deal with Curry module names and paths 3.0.0
currypp   curry-pp The standard preprocessor of Curry 0.3.0
currypp   PDF currypp The standard preprocessor of Curry 0.3.1
currypp   PDF currypp The standard preprocessor of Curry 0.3.2
currypp API doc PDF currypp The standard preprocessor of Curry 2.0.0
currypp API doc PDF currypp The standard preprocessor of Curry 2.1.0
db-pakcs API doc Old database libraries for PAKCS (deprecated) 1.0.0
det-parse API doc Deterministic parser combinators 0.0.1
det-parse   Deterministic parser combinators 3.0.0
dimacs API doc An interface to SAT solvers supporting DIMACS. 0.0.1
directory     Library for accessing the directory structure of the underlying operating system. 3.0.0
distribution     This module contains definition of constants to obtain information concerning the current distribution of the Curry implementation. 3.0.0
dsdcurry API doc dsdcurry A tool for declarative software development 1.0.0
easycheck API doc Libraries for automated, property-based testing of Curry programs 0.0.1
ertools API doc erd2curry Tools for dealing with database applications specified by entity-relationship diagrams 1.0.0
ertools API doc erd2curry Tools for dealing with database applications specified by entity-relationship diagrams 2.0.0
exact-print API doc Libaries to exactly print curry-ast 1.0.0
execpath API doc Operations related to the program execution path 0.0.1
execpath   Operations related to the program execution path 3.0.0
failfree API doc curry-failfree A tool to verify whether a Curry program executes without failures 0.0.1
failfree API doc curry-failfree A tool to verify whether a Curry program executes without failures 1.0.0
filepath     A library for FilePath manipulations, using Posix or Windows filepaths depending on the platform. 3.0.0
finite-map API doc Library implementing finite maps (efficient mappings from keys to values) 0.0.1
fl-parser API doc Library with functional logic parser combinators 1.0.0
flatcurry API doc Libraries to deal with FlatCurry programs 1.0.0
flatcurry API doc Libraries to deal with FlatCurry programs 2.0.0
flatcurry   Libraries to deal with FlatCurry programs 3.0.0
flatcurry-annotated API doc Libraries to represent FlatCurry programs with arbitrary annotations 1.0.0
flatcurry-annotated API doc Libraries to represent FlatCurry programs with arbitrary annotations 2.0.0
flatcurry-compact API doc curry-compactflat A tool to reduce the size of FlatCurry programs 0.0.1
frontend-exec API doc Operations to execute the front end of the Curry system 0.0.1
frontend-exec   Operations to execute the front end of the Curry system 3.0.0
global-variables API doc Library for handling global variables in PAKCS 1.0.0
graph-inductive API doc Library for inductive graphs 1.0.0
graph-inductive API doc Library for inductive graphs 2.0.0
graphviz API doc Libraries to visualize graphs with Graphviz 1.0.0
graphviz API doc Libraries to visualize graphs with Graphviz 2.0.0
gui API doc Libraries for programming graphical user interfaces 1.0.0
gui API doc Libraries for programming graphical user interfaces 2.0.0
html   Libraries for HTML programming. 1.0.0
html API doc Libraries for HTML programming. 1.1.0
html API doc Libraries for HTML programming. 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
icurry API doc PDF icurry Generic intermediate format for compiling Curry to imperative languages 2.0.0
icurry API doc PDF icurry Intermediate format for compiling Curry to imperative languages 3.0.0
icurry API doc PDF icurry Intermediate format for compiling Curry to imperative languages 3.0.1
importusage API doc curry-usedimports Library and tool to show the usage of imported entities of a module 0.0.1
importusage API doc curry-usedimports Library and tool to show the usage of imported entities of a module 1.0.0
importusage     curry-usedimports Library and tool to show the usage of imported entities of a module 3.0.0
io-extra     Library with some useful extensions to the IO monad. 3.0.0
javascript API doc Libraries to represent JavaScript programs in Curry 1.0.0
javascript API doc Libraries to represent JavaScript programs in Curry 2.0.0
json     A JSON library for Curry 0.0.2
json API doc A JSON library for Curry 0.0.3
json API doc A JSON library for Curry 2.0.0
json   A JSON library for Curry 3.0.0
julia API doc Libraries to represent Julia programs in Curry 0.0.1
keydb API doc Libraries for accessing databases via database keys 1.0.0
keydb API doc Libraries for accessing databases via database keys 2.0.0
mail-utils API doc Library with operations for sending emails. 1.0.0
mail-utils API doc Library with operations for sending emails. 2.0.0
makefile   curry-genmake Library and tool for generating makefiles 0.0.1
makefile   curry-genmake Library and tool for generating makefiles 0.0.2
makefile API doc curry-genmake Library and tool for generating makefiles 0.0.3
makefile API doc curry-genmake Library and tool for generating makefiles 2.0.0
markdown   md2pdf Libraries to process markdown documents 1.0.0
markdown API doc md2pdf Libraries to process markdown documents 1.1.0
markdown API doc md2pdf Libraries to process markdown documents 2.0.0
markdown API doc md2pdf Libraries to process markdown documents 3.0.0
markdown API doc md2pdf Libraries to process markdown documents 3.1.0
ninja API doc Representation and generation of Ninja files 1.0.0
nonstrictunif-optimize API doc curry-nonstrictopt Linearity optimizer for functional patterns 0.0.1
nonstrictunif-optimize API doc curry-nonstrictopt Linearity optimizer for functional patterns 2.0.0
opt-parse API doc PDF An option parser for Curry 0.0.3
opt-parse   PDF An option parser for Curry 3.0.0
peano API doc Library defining natural numbers in Peano representation 1.0.0
peval API doc curry-peval A partial evaluator for Curry 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
pflp API doc Library for Probabilistic Functional Logic Programming 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 0.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
printf API doc Operations to format values of basic data types with formatting flags 0.0.1
process     A library for process manipulation and information. 3.0.0
profiling API doc Simple profiling library with operations to access run-time data 1.0.0
profiling   Simple profiling library with operations to access run-time data 3.0.0
profiling-pakcs API doc Library to access profile data of the back-end Prolog system of PAKCS 1.0.0
prolog API doc Libraries to represent Prolog programs in Curry 1.0.0
prolog API doc Libraries to represent Prolog programs in Curry 2.0.0
propertyfile API doc Read and update files containing properties in equational syntax 0.0.1
propertyfile   Read and update files containing properties in equational syntax 3.0.0
queue API doc Library with double-ended queues supporting access at both ends in constant amortized time 0.0.1
queue   Library with double-ended queues supporting access at both ends in constant amortized time 3.0.0
random API doc Library for pseudo-random number generation 0.0.1
random   Library for pseudo-random number generation 3.0.0
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
redblacktree   Libraries implementing red-black trees for tables and sets 3.0.0
regexp API doc Library to specify the semantics of regular expressions 1.0.0
regexp API doc Library to specify the semantics of regular expressions 1.1.0
residuation-analysis API doc curry-anaresinfo Analyzing the residuation behavior of Curry programs 0.0.1
rewriting API doc Libraries for term rewriting and narrowing 0.0.1
rewriting API doc Libraries for term rewriting and narrowing 2.0.0
rewriting API doc Libraries for term rewriting and narrowing 2.1.0
roman API doc Library for roman numbers 0.0.1
roman API doc Library for roman numbers 2.0.0
runcurry API doc runcurry Implementation of a command to run Curry programs directly 0.0.1
runcurry API doc runcurry Implementation of a command to run Curry programs directly 1.0.0
scc API doc Computing strongly connected components 0.0.1
scc   Computing strongly connected components 3.0.0
searchtree API doc Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list 1.0.0
searchtree   Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list 3.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 0.0.1
showflatcurry API doc curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 1.0.0
showflatcurry     curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 3.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
socket API doc Library for programming with sockets 0.0.1
socket   Library for programming with sockets 3.0.0
sourceproggui API doc curry-showsource A simple GUI for highlighting functions in the source text of a Curry module. 0.0.1
sourceproggui API doc curry-showsource A simple GUI for highlighting functions in the source text of a Curry module. 1.0.0
spicey   spiceup A web application framework for Curry 1.0.0
spicey API doc spiceup A web application framework for Curry 1.1.0
spicey   spiceup A web application framework for Curry 2.0.0
spicey API doc spiceup A web application framework for Curry 2.1.0
spicey API doc PDF spiceup A web application framework for Curry 3.0.0
spicey API doc PDF spiceup A web application framework for Curry 3.1.0
spicey API doc PDF spiceup A web application framework for Curry 3.2.0
spicey API doc PDF spiceup A web application framework for Curry 3.3.0
stylechecker API doc curry-stylecheck A tool to check the formatting style of Curry programs 1.0.0
stylechecker API doc curry-stylecheck A tool to check the formatting style of Curry programs 1.1.0
time     Library for handling date and time information. 3.0.0
transbooleq API doc curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 0.2.0
transbooleq API doc curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 2.0.0
transformers API doc A portable library of functor and monad transformers 2.0.0
transformers   A portable library of functor and monad transformers 3.0.0
traversal API doc Library to support lightweight generic traversals through tree-structured data 1.0.0
ui API doc Libraries to implement declarative user interfaces 1.0.0
ui API doc Libraries to implement declarative user interfaces 2.0.0
url API doc Library for dealing with URLs 1.0.0
verify   curry-verify A tool to support the verification of Curry programs 0.0.1
verify API doc curry-verify A tool to support the verification of Curry programs 0.0.2
verify API doc curry-verify A tool to support the verification of Curry programs 2.0.0
wl-pprint API doc Pretty printing combinators for Curry (inspired by Leijen's library for Haskell) 0.0.1
wl-pprint   Pretty printing combinators for Curry (inspired by Leijen's library for Haskell) 3.0.0
wui   Libraries to support the type-oriented construction of web user interfaces 1.0.0
wui API doc Libraries to support the type-oriented construction of web user interfaces 1.1.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 0.0.1
xml API doc Libraries for XML processing 2.0.0
xml   Libraries for XML processing 3.0.0
xmldata API doc curry-data2xml A tool for generating XML conversion functions 0.0.1
xmldata API doc curry-data2xml A tool for generating XML conversion functions 2.0.0

Statistics:

122 packages
256 package versions