Curry Packages in the CPM Repository (Version: December 4, 2024)

All package versions sorted by upload time

NameExecutableSynopsisVersionUpload date
abstract-curry Libraries to deal with AbstractCurry programs 4.0.0 2024-12-03
curry-interface curry-showinterface Libraries to represent and read module interfaces of Curry programs 2.0.0 2024-12-03
base Base libraries for Curry systems 3.3.0 2024-11-29
containers Library implementing various data structures 3.0.0 2024-11-28
setfunctions Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner 3.0.0 2024-11-27
searchtree-extra Some extra libraries to deal with seach trees 1.0.0 2024-11-27
allvalues Libraries with operations to strongly encapsulate non-deterministic computations 4.0.0 2024-11-27
searchtree-unsafe Library to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free 3.0.0 2024-11-27
searchtree Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list 3.0.0 2024-11-27
flatcurry Libraries to deal with FlatCurry programs 4.0.0 2024-11-22
icurry icurry Intermediate format for compiling Curry to imperative languages 3.2.0 2024-11-15
stylechecker curry-stylecheck A tool to check the formatting style of Curry programs 2.0.0 2024-11-11
curry-ast Libaries to represent Curry programs 3.0.0 2024-11-11
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 3.3.0 2024-11-08
string-trie Implementation of an efficient map from strings to values. 0.0.1 2024-11-07
rw-data Base operations to support reading and writing data in a compact (string) representation 1.1.0 2024-11-07
rw-data-generator curry-rw-data A tool to generate read and write operations for a compact data representation 2.0.0 2024-11-05
cass-analysis Libraries with various compile-time analyses for Curry 4.0.0 2024-11-05
contract-prover curry-contracts A tool to verify contracts in FlatCurry programs 4.0.0 2024-11-05
pflp Library for Probabilistic Functional Logic Programming 2.1.0 2024-10-24
verify-non-fail curry-calltypes A tool to verify Curry operations as non-failing 2.0.0 2024-10-24
currybrowse curry-browse A GUI to browse and analyze the modules of a Curry program 3.0.0 2024-10-14
cass cass CASS: the Curry Analysis Server System 4.0.0 2024-10-14
coosy coosy-gui A tool to observe functional logic computations 3.1.0 2024-10-13
html2 curry2cgi Libraries for HTML programming with event-handler-based form processing 3.5.0 2024-10-11
json A JSON library for Curry 3.0.0 2024-10-10
prolog2curry pl2curry A tool to transform Prolog programs to Curry programs 1.2.0 2024-10-08
cpm-manage cpm-manage Tools to manage the main repository of the Curry Package Manager 3.0.0 2024-10-07
read-legacy A library for reading and writing from or to strings. 3.0.0 2024-10-07
curry-repl A universal REPL which can be used on top of a Curry compiler 1.2.0 2024-10-07
currycheck curry-check A tool to support automatic testing of Curry programs 4.0.0 2024-10-07
addtypes curry-addtypes A tool to add missing type signatures in a Curry program 4.0.0 2024-10-07
time Library for handling date and time information. 3.0.0 2024-10-04
currydoc curry-doc A documentation generator for Curry 4.0.0 2024-10-02
transbooleq curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 3.2.0 2024-10-02
failfree curry-failfree A tool to verify whether a Curry program executes without failures 4.0.0 2024-09-28
property-prover currvy A tool to verify properties of Curry programs (contracts, non-failing) 2.0.0 2024-09-28
flatcurry-smt Library with mappings of FlatCurry names to SMT names 2.0.0 2024-09-28
verify curry-verify A tool to support the verification of Curry programs 3.1.0 2024-09-27
plural-arguments curry-plural A tool to implement plural arguments in a Curry program 3.1.0 2024-09-27
verify-non-fail curry-calltypes A tool to verify Curry operations as non-failing 1.2.0 2024-09-27
property-prover currvy A tool to verify properties of Curry programs (contracts, non-failing) 1.1.0 2024-09-27
failfree curry-failfree A tool to verify whether a Curry program executes without failures 3.0.0 2024-09-27
contract-prover curry-contracts A tool to verify contracts in FlatCurry programs 3.0.0 2024-09-27
flatcurry-smt Library with mappings of FlatCurry names to SMT names 1.0.0 2024-09-27
currypp currypp The standard preprocessor of Curry 3.2.0 2024-09-20
abstract-curry Libraries to deal with AbstractCurry programs 3.0.0 2024-09-20
currydoc curry-doc A documentation generator for Curry 3.2.0 2024-09-20
spicey spiceup A web application framework for Curry 4.2.0 2024-09-19
ertools erd2curry Tools for dealing with database applications specified by entity-relationship diagrams 3.0.0 2024-09-19
xmldata curry-data2xml A tool for generating XML conversion functions 3.0.0 2024-09-19
contracts Some auxiliaries used by various Curry tools to check contracts 3.1.0 2024-09-18
showflatcurry curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 3.0.0 2024-09-18
importusage curry-usedimports Library and tool to show the usage of imported entities of a module 3.0.0 2024-09-18
curry-source Libraries to support the checking of Curry source code 1.1.0 2024-09-18
rewriting Libraries for term rewriting and narrowing 3.0.0 2024-09-18
curry-interface curry-showinterface Libraries to represent and read module interfaces of Curry programs 1.0.0 2024-09-18
peano Library defining natural numbers in Peano representation 1.1.0 2024-09-18
flatcurry-type-annotated Libraries to read and write FlatCurry programs with type annotations 3.4.0 2024-09-18
flatcurry-annotated Libraries to represent FlatCurry programs with arbitrary annotations 3.3.0 2024-09-18
det-parse Deterministic parser combinators 3.0.0 2024-09-04
rw-data-generator curry-rw-data A tool to generate read and write operations for a compact data representation 1.0.0 2024-07-25
flatcurry Libraries to deal with FlatCurry programs 3.1.0 2024-07-25
socket Library for programming with sockets 3.0.0 2024-07-25
base Base libraries for Curry systems 3.2.0 2024-07-25
chr-curry A library to use Constraint Handling Rules in Curry programs 3.2.0 2024-07-09
rw-data Base operations to support reading and writing data in a compact (string) representation 1.0.0 2024-07-05
profiling Simple profiling library with operations to access run-time data 3.0.0 2024-07-03
verify-non-fail curry-calltypes A tool to verify Curry operations as non-failing 1.1.0 2024-06-24
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 3.2.0 2024-06-18
flatcurry Libraries to deal with FlatCurry programs 3.0.0 2024-06-18
currypath Operations to deal with Curry module names and paths 3.0.0 2024-06-09
curry-repl A universal REPL which can be used on top of a Curry compiler 1.1.1 2024-06-05
cass-analysis Libraries with various compile-time analyses for Curry 3.1.0 2024-05-02
cass cass CASS: the Curry Analysis Server System 3.1.0 2024-05-02
currydoc curry-doc A documentation generator for Curry 3.1.0 2024-04-15
gui Libraries for programming graphical user interfaces 3.0.0 2024-03-25
runcurry runcurry Implementation of a command to run Curry programs directly 3.0.0 2024-03-18
abstract-haskell Libraries to represent Haskell programs in Curry 3.0.0 2024-03-16
nonstrictunif-optimize curry-nonstrictopt Linearity optimizer for functional patterns 3.0.0 2024-03-16
plural-arguments curry-plural A tool to implement plural arguments in a Curry program 3.0.0 2024-03-16
residuation-analysis curry-anaresinfo Analyzing the residuation behavior of Curry programs 3.0.0 2024-03-16
verify curry-verify A tool to support the verification of Curry programs 3.0.0 2024-03-16
benchmark-papers exec-benchmarkpaper A tool to support executable benchmark papers 3.0.0 2024-03-16
bindata Library to support reading/writing binary data 3.0.0 2024-03-16
clpbool A library with a constraint solver over the Booleans 2.1.0 2024-03-16
printf Operations to format values of basic data types with formatting flags 3.0.0 2024-03-16
smtlib-solver This package provides general operations for an interactive communication with SMT solvers via stdin and stdout. 3.0.0 2024-03-16
smtlib Implementation of the SMT-LIB standard for Curry 3.0.0 2024-03-16
flatcurry-typed A libary for working wih TypedFlatCurry 3.0.0 2024-03-16
flatcurry-compact curry-compactflat A tool to reduce the size of FlatCurry programs 3.0.0 2024-03-16
ports Library for distributed programming with ports 3.0.0 2024-03-16
dimacs An interface to SAT solvers supporting DIMACS. 3.0.0 2024-03-16
transbooleq curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 3.1.0 2024-03-16
assoc-legacy Library to deal with a global association between strings 1.0.0 2024-03-16
fl-parser Library with functional logic parser combinators 3.0.0 2024-03-16
sourceproggui curry-showsource A simple GUI for highlighting functions in the source text of a Curry module. 3.0.0 2024-03-16
finite-map Library implementing finite maps (efficient mappings from keys to values) 3.0.0 2024-03-16
makefile curry-genmake Library and tool for generating makefiles 3.0.0 2024-03-16
inversion Utility operations to invert functions 3.0.0 2024-03-16
array An implementation of arrays with Braun trees. 3.0.0 2024-03-16
extra General utility functions 3.0.0 2024-03-15
ansi-terminal Library supporting formatted output on terminals 3.0.0 2024-03-15
random Library for pseudo-random number generation 3.0.0 2024-03-15
queue Library with double-ended queues supporting access at both ends in constant amortized time 3.0.0 2024-03-15
propertyfile Read and update files containing properties in equational syntax 3.0.0 2024-03-15
process A library for process manipulation and information. 3.0.0 2024-03-15
io-extra Library with some useful extensions to the IO monad. 3.0.0 2024-03-15
frontend-exec Operations to execute the front end of the Curry system 3.3.0 2024-03-15
filepath A library for FilePath manipulations, using Posix or Windows filepaths depending on the platform. 3.0.0 2024-03-15
execpath Operations related to the program execution path 3.0.0 2024-03-15
directory Library for accessing the directory structure of the underlying operating system. 3.0.0 2024-03-15
cryptohash Library for simple cryptography hashing 3.0.0 2024-03-15
graphviz Libraries to visualize graphs with Graphviz 3.0.0 2024-03-13
graph-inductive Library for inductive graphs 3.0.0 2024-03-13
javascript Libraries to represent JavaScript programs in Curry 3.0.0 2024-03-13
cpns curry-cpnsd Curry port name server and sockets with symbolic names 3.0.0 2024-03-13
bpmn2bpel Libraries to support a bi-directional transformation between BPMN and BPEL 3.1.0 2024-03-13
bpmn2bpel Libraries to support a bi-directional transformation between BPMN and BPEL 3.0.0 2024-03-13
ninja Representation and generation of Ninja files 3.0.0 2024-03-13
binint Libraries with a binary representation of natural and integers 3.0.0 2024-03-13
golang Libraries to represent Go programs in Curry 1.0.0 2024-03-12
julia Libraries to represent Julia programs in Curry 3.0.0 2024-03-12
prolog Libraries to represent Prolog programs in Curry 3.0.0 2024-03-12
boxes A pretty printer for boxes 3.0.0 2024-03-12
opt-parse An option parser for Curry 3.0.0 2024-03-12
roman Library for roman numbers 2.0.0 2024-03-12
csv Library for reading/writing files in CSV format 3.0.0 2024-03-12
cass cass CASS: the Curry Analysis Server System 3.0.1 2024-03-12
cass-analysis Libraries with various compile-time analyses for Curry 3.0.1 2024-03-12
scc Computing strongly connected components 3.0.0 2024-03-11
redblacktree Libraries implementing red-black trees for tables and sets 3.0.0 2024-03-11
wl-pprint Pretty printing combinators for Curry (inspired by Leijen's library for Haskell) 3.0.0 2024-03-11
wui2 Libraries to support the type-oriented construction of web user interfaces based on the html2 package 3.1.0 2024-03-11
transformers A portable library of functor and monad transformers 3.0.0 2024-03-11
traversal Library to support lightweight generic traversals through tree-structured data 3.0.0 2024-03-11
url Library for dealing with URLs 3.0.0 2024-03-11
xml Libraries for XML processing 3.0.0 2024-03-11
mail-utils Library with operations for sending emails. 3.0.0 2024-03-11
verify-non-fail curry-calltypes A tool to verify Curry operations as non-failing 1.0.0 2024-02-19
addtypes curry-addtypes A tool to add missing type signatures in a Curry program 3.2.0 2024-01-30
currycheck curry-check A tool to support automatic testing of Curry programs 3.2.0 2024-01-30
regexp Libraries to specify the structure and semantics of regular expressions 4.1.0 2024-01-29
easycheck Libraries for automated, property-based testing of Curry programs 3.2.0 2024-01-29
clp-pakcs CLP libraries for PAKCS 3.2.0 2024-01-29
call-analysis curry-ndopt A call-pattern analysis and transformation tool to improve lazy non-deterministic computations 3.2.0 2024-01-29
combinatorial A collection of common non-deterministic and/or combinatorial operations 3.2.0 2024-01-29
combinatorial A collection of common non-deterministic and/or combinatorial operations 3.0.0 2024-01-29
global Library for handling global entities in programs 3.2.0 2023-12-16
keydb Libraries for accessing databases via database keys 3.1.0 2023-11-24
curry-resources Library defining various URLs related to Curry 1.0.0 2023-11-24
cdbi Libraries for type-safe database programming 3.2.0 2023-11-24
wui Libraries to support the type-oriented construction of web user interfaces 2.0.0 2023-11-12
ui Libraries to implement declarative user interfaces 2.0.0 2023-11-12
html-cgi curry-cgi Support for CGI programming in HTML libraries 0.0.1 2023-11-12
html curry-makecgi Libraries for HTML programming. 2.1.0 2023-11-12
setfunction-synthesis synsetfun Prototype implementation of synthesizing set functions 0.0.1 2023-11-12
searchtree-unsafe Library to represent strongly encapsulated non-deterministic computations as a search tree where local u nbound variables remain free 1.0.0 2023-11-12
peval curry-peval A partial evaluator for Curry 2.0.0 2023-11-12
peval-noshare curry-pevalns A partial evaluator for Curry (without sharing) 0.1.0 2023-11-12
profiling-pakcs Library to access profile data of the back-end Prolog system of PAKCS 1.1.0 2023-11-12
global-variables Library for handling global variables in PAKCS 1.1.0 2023-11-12
exact-print Libaries to exactly print curry-ast 1.0.0 2023-11-12
dsdcurry dsdcurry A tool for declarative software development 1.0.0 2023-11-12
db-pakcs Old database libraries for PAKCS (deprecated) 1.0.0 2023-11-12
curry2js curry2js A compiler for Curry into JavaScript programs used in WUIs. 2.0.0 2023-11-12
curry-ast Libaries to represent Curry programs 2.2.0 2023-11-12
cpc cpc Curry Program Coverage tool 0.0.1 2023-11-12
clpfd-smt Libraries for finite-domain constraints implemented with SMT/SAT 0.0.2 2023-11-12
stylechecker curry-stylecheck A tool to check the formatting style of Curry programs 1.1.0 2023-11-12
ccti ccti Curry Concolic Testing Interpreter 0.0.1 2023-11-12
casc curry-style A tool to check the formatting style of Curry programs 2.0.0 2023-11-12
markdown md2pdf Libraries to process markdown documents 3.3.0 2023-11-10
prolog2curry pl2curry A tool to transform Prolog programs to Curry programs 1.1.0 2023-11-02
spicey spiceup A web application framework for Curry 4.1.0 2023-10-06
clp-pakcs CLP libraries for PAKCS 3.0.0 2023-10-04
allvalues Libraries with operations to strongly encapsulate non-deterministic computations 3.0.0 2023-09-15
base Base libraries for Curry systems 3.1.0 2023-08-18
html2 curry2cgi Libraries for HTML programming with event-handler-based form processing 3.4.0 2023-07-26
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 3.1.0 2023-07-24
pflp Library for Probabilistic Functional Logic Programming 2.0.0 2023-07-19
currypp currypp The standard preprocessor of Curry 3.1.0 2023-06-07
spicey spiceup A web application framework for Curry 4.0.0 2023-06-01
coosy coosy-gui A tool to observe functional logic computations 3.0.0 2023-02-27
call-analysis curry-ndopt A call-pattern analysis and transformation tool to improve lazy non-deterministic computations 3.0.0 2023-02-13
prolog2curry pl2curry A tool to transform Prolog programs to Curry programs 1.0.0 2023-02-08
curry-source Libraries to support the checking of Curry source code 1.0.0 2023-02-07
curry-repl A universal REPL which can be used on top of a Curry compiler 1.1.0 2022-11-24
currycheck curry-check A tool to support automatic testing of Curry programs 3.0.0 2022-11-21
regexp Libraries to specify the structure and semantics of regular expressions 4.0.0 2022-10-20
currypp currypp The standard preprocessor of Curry 3.0.0 2022-10-11
verify curry-verify A tool to support the verification of Curry programs 2.0.0 2022-08-10
curry-repl A universal REPL which can be used on top of a Curry compiler 1.0.0 2022-07-13
property-prover currvy A tool to verify properties of Curry programs (contracts, non-failing) 1.0.0 2022-02-24
icurry icurry Intermediate format for compiling Curry to imperative languages 3.1.0 2022-02-08
chr-curry A library to use Constraint Handling Rules in Curry programs 3.0.0 2022-01-31
peano Library defining natural numbers in Peano representation 1.0.0 2021-12-15
flatcurry-type-annotated Libraries to read and write FlatCurry programs with type annotations 3.3.0 2021-12-13
curry-repl A universal REPL which can be used on top of a Curry compiler 0.0.1 2021-09-14
cass cass CASS: the Curry Analysis Server System 3.0.0 2021-08-03
cass-analysis Libraries with various compile-time analyses for Curry 3.0.0 2021-06-04
addtypes curry-addtypes A tool to add missing type signatures in a Curry program 3.0.0 2021-06-04
regexp Library to specify the semantics of regular expressions 3.0.0 2021-06-03
cdbi Libraries for type-safe database programming 3.1.0 2021-06-01
global Library for handling global entities in programs 3.1.0 2021-05-31
keydb Libraries for accessing databases via database keys 3.0.0 2021-05-31
contracts Some auxiliaries used by various Curry tools to check contracts 3.0.0 2021-05-27
cdbi Libraries for type-safe database programming 3.0.0 2021-04-15
wui2 Libraries to support the type-oriented construction of web user interfaces based on the html2 package 3.0.0 2021-03-23
mail-utils Library with operations for sending emails. 2.0.0 2021-02-11
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 3.0.0 2021-02-09
distribution The module in this package contains definition of constants to obtain information concerning the current distribution of the Curry compiler system. 3.0.0 2021-01-26
base Base libraries for Curry systems 3.0.0 2021-01-18
currypp currypp The standard preprocessor of Curry 2.1.0 2020-12-21
easycheck Libraries for automated, property-based testing of Curry programs 3.0.0 2020-12-18
html2 curry2cgi Libraries for HTML programming with event-handler-based form processing 3.3.0 2020-12-17
html2 curry2cgi Libraries for HTML programming with event-handler-based form processing 3.0.0 2020-12-17
frontend-exec Operations to execute the front end of the Curry system 3.0.0 2020-12-17
flatcurry-annotated Libraries to represent FlatCurry programs with arbitrary annotations 3.0.0 2020-12-17
currydoc curry-doc A documentation generator for Curry 3.0.0 2020-12-05
regexp Library to specify the semantics of regular expressions 1.1.0 2020-11-29
spicey spiceup A web application framework for Curry 2.0.0 2020-11-29
spicey spiceup A web application framework for Curry 2.1.0 2020-11-29
html Libraries for HTML programming. 2.0.0 2020-11-29
keydb Libraries for accessing databases via database keys 2.0.0 2020-11-29
currybrowse curry-browse A GUI to browse and analyze the modules of a Curry program 2.0.0 2020-11-28
nonstrictunif-optimize curry-nonstrictopt Linearity optimizer for functional patterns 2.0.0 2020-11-28
javascript Libraries to represent JavaScript programs in Curry 2.0.0 2020-11-28
residuation-analysis curry-anaresinfo Analyzing the residuation behavior of Curry programs 0.0.1 2020-11-28
fl-parser Library with functional logic parser combinators 1.0.0 2020-11-28
gui Libraries for programming graphical user interfaces 2.0.0 2020-11-28
flatcurry-compact curry-compactflat A tool to reduce the size of FlatCurry programs 0.0.1 2020-11-28
prolog Libraries to represent Prolog programs in Curry 2.0.0 2020-11-28
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.2.0 2020-11-20
global Library for handling global entities in programs 3.0.0 2020-11-19
contracts Some auxiliaries used by various Curry tools to check contracts 0.0.1 2020-11-10
flatcurry-annotated Libraries to represent FlatCurry programs with arbitrary annotations 2.0.0 2020-11-10
transbooleq curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 3.0.0 2020-11-04
searchtree Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list 1.1.0 2020-11-03
cpm-manage cpm-manage Tools to manage the main repository of the Curry Package Manager 2.2.0 2020-10-25
wui2 Libraries to support the type-oriented construction of web user interfaces based on the html2 package 1.0.0 2020-10-16
html2 curry2cgi Libraries for HTML programming with event-handler-based form processing 1.0.0 2020-10-14
markdown md2pdf Libraries to process markdown documents 3.2.0 2020-10-14
currydoc curry-doc A documentation generator for Curry 2.0.0 2020-10-14
spicey spiceup A web application framework for Curry 3.4.0 2020-10-09
printf Operations to format values of basic data types with formatting flags 0.0.1 2020-10-07
cpm-manage cpm-manage Tools to manage the main repository of the Curry Package Manager 2.1.0 2020-09-10
spicey spiceup A web application framework for Curry 3.3.0 2020-09-10
wui2 Libraries to support the type-oriented construction of web user interfaces based on the html2 package 0.0.1 2020-09-10
markdown md2pdf Libraries to process markdown documents 3.1.0 2020-09-10
cass cass CASS: the Curry Analysis Server System 2.0.0 2020-09-08
cass-analysis Libraries with various compile-time analyses for Curry 2.0.0 2020-09-08
html2 curry2cgi Libraries for HTML programming with event-handler-based form processing 0.1.0 2020-09-02
base Base libraries for Curry systems 1.1.0 2020-08-31
chr-curry A library to use Constraint Handling Rules in Curry programs 2.1.0 2020-08-28
bindata Library to support reading/writing binary data 1.2.0 2020-08-28
currycheck curry-check A tool to support automatic testing of Curry programs 2.0.0 2020-08-28
profiling Simple profiling library with operations to access run-time data 1.1.0 2020-08-28
socket Library for programming with sockets 0.1.0 2020-08-27
ports Library for distributed programming with ports 1.1.0 2020-08-27
clp-pakcs CLP libraries for PAKCS 1.1.0 2020-08-27
clp-pakcs CLP libraries for PAKCS 1.0.0 2020-08-27
profiling-pakcs Library to access profile data of the back-end Prolog system of PAKCS 1.0.0 2020-08-25
peval-noshare curry-pevalns A partial evaluator for Curry (without sharing) 0.0.1 2020-08-25
profiling Simple profiling library with operations to access run-time data 1.0.0 2020-08-20
frontend-exec Operations to execute the front end of the Curry system 0.0.1 2020-08-06
icurry icurry Intermediate format for compiling Curry to imperative languages 3.0.1 2020-08-06
contract-prover curry-contracts A tool to verify contracts in FlatCurry programs 1.0.0 2020-08-03
failfree curry-failfree A tool to verify whether a Curry program executes without failures 1.0.0 2020-08-03
html2 curry2cgi Libraries for HTML programming with event-handler-based form processing 0.0.1 2020-08-03
flatcurry Libraries to deal with FlatCurry programs 2.0.0 2020-07-09
transformers A portable library of functor and monad transformers 2.0.0 2020-06-25
julia Libraries to represent Julia programs in Curry 0.0.1 2020-06-05
icurry icurry Intermediate format for compiling Curry to imperative languages 3.0.0 2020-06-04
ertools erd2curry Tools for dealing with database applications specified by entity-relationship diagrams 2.0.0 2020-04-28
addtypes curry-addtypes A tool to add missing type signatures in a Curry program 2.0.0 2020-04-05
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.1.1 2020-04-02
bindata Library to support reading/writing binary data 1.1.0 2020-04-02
xmldata curry-data2xml A tool for generating XML conversion functions 2.0.0 2020-04-01
xmldata curry-data2xml A tool for generating XML conversion functions 0.0.1 2020-04-01
xml Libraries for XML processing 2.0.0 2020-04-01
xml Libraries for XML processing 0.0.1 2020-04-01
wui Libraries to support the type-oriented construction of web user interfaces 1.1.0 2020-04-01
wui Libraries to support the type-oriented construction of web user interfaces 1.0.0 2020-04-01
wl-pprint Pretty printing combinators for Curry (inspired by Leijen's library for Haskell) 0.0.1 2020-04-01
verify curry-verify A tool to support the verification of Curry programs 0.0.2 2020-04-01
verify curry-verify A tool to support the verification of Curry programs 0.0.1 2020-04-01
url Library for dealing with URLs 1.0.0 2020-04-01
ui Libraries to implement declarative user interfaces 1.0.0 2020-04-01
traversal Library to support lightweight generic traversals through tree-structured data 1.0.0 2020-04-01
transbooleq curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 2.0.0 2020-04-01
transbooleq curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 0.2.0 2020-04-01
stylechecker curry-stylecheck A tool to check the formatting style of Curry programs 1.0.0 2020-04-01
spicey spiceup A web application framework for Curry 3.2.0 2020-04-01
spicey spiceup A web application framework for Curry 3.1.0 2020-04-01
spicey spiceup A web application framework for Curry 3.0.0 2020-04-01
spicey spiceup A web application framework for Curry 1.1.0 2020-04-01
spicey spiceup A web application framework for Curry 1.0.0 2020-04-01
sourceproggui curry-showsource A simple GUI for highlighting functions in the source text of a Curry module. 1.0.0 2020-04-01
sourceproggui curry-showsource A simple GUI for highlighting functions in the source text of a Curry module. 0.0.1 2020-04-01
socket Library for programming with sockets 0.0.1 2020-04-01
smtlib-solver This package provides general operations for an interactive communication with SMT solvers via stdin and stdout. 0.0.1 2020-04-01
smtlib Implementation of the SMT-LIB standard for Curry 0.0.1 2020-04-01
showflatcurry curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 1.0.0 2020-04-01
showflatcurry curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 0.0.1 2020-04-01
setfunctions Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner 0.0.1 2020-04-01
searchtree Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list 1.0.0 2020-04-01
scc Computing strongly connected components 0.0.1 2020-04-01
runcurry runcurry Implementation of a command to run Curry programs directly 1.0.0 2020-04-01
runcurry runcurry Implementation of a command to run Curry programs directly 0.0.1 2020-04-01
roman Library for roman numbers 0.0.1 2020-04-01
rewriting Libraries for term rewriting and narrowing 2.1.0 2020-04-01
rewriting Libraries for term rewriting and narrowing 2.0.0 2020-04-01
rewriting Libraries for term rewriting and narrowing 0.0.1 2020-04-01
regexp Library to specify the semantics of regular expressions 1.0.0 2020-04-01
redblacktree Libraries implementing red-black trees for tables and sets 0.0.1 2020-04-01
random Library for pseudo-random number generation 0.0.1 2020-04-01
queue Library with double-ended queues supporting access at both ends in constant amortized time 0.0.1 2020-04-01
propertyfile Read and update files containing properties in equational syntax 0.0.1 2020-04-01
prolog Libraries to represent Prolog programs in Curry 1.0.0 2020-04-01
ports Library for distributed programming with ports 1.0.0 2020-04-01
plural-arguments curry-plural A tool to implement plural arguments in a Curry program 2.0.0 2020-04-01
plural-arguments curry-plural A tool to implement plural arguments in a Curry program 0.0.1 2020-04-01
pflp Library for Probabilistic Functional Logic Programming 1.0.1 2020-04-01
pflp Library for Probabilistic Functional Logic Programming 1.0.0 2020-04-01
peval curry-peval A partial evaluator for Curry 1.0.0 2020-04-01
opt-parse An option parser for Curry 0.0.3 2020-04-01
nonstrictunif-optimize curry-nonstrictopt Linearity optimizer for functional patterns 0.0.1 2020-04-01
ninja Representation and generation of Ninja files 1.0.0 2020-04-01
markdown md2pdf Libraries to process markdown documents 3.0.0 2020-04-01
markdown md2pdf Libraries to process markdown documents 2.0.0 2020-04-01
markdown md2pdf Libraries to process markdown documents 1.1.0 2020-04-01
markdown md2pdf Libraries to process markdown documents 1.0.0 2020-04-01
makefile curry-genmake Library and tool for generating makefiles 2.0.0 2020-04-01
makefile curry-genmake Library and tool for generating makefiles 0.0.3 2020-04-01
makefile curry-genmake Library and tool for generating makefiles 0.0.2 2020-04-01
makefile curry-genmake Library and tool for generating makefiles 0.0.1 2020-04-01
mail-utils Library with operations for sending emails. 1.0.0 2020-04-01
keydb Libraries for accessing databases via database keys 1.0.0 2020-04-01
json A JSON library for Curry 2.0.0 2020-04-01
json A JSON library for Curry 0.0.3 2020-04-01
json A JSON library for Curry 0.0.2 2020-04-01
javascript Libraries to represent JavaScript programs in Curry 1.0.0 2020-04-01
importusage curry-usedimports Library and tool to show the usage of imported entities of a module 1.0.0 2020-04-01
importusage curry-usedimports Library and tool to show the usage of imported entities of a module 0.0.1 2020-04-01
icurry icurry Generic intermediate format for compiling Curry to imperative languages 2.0.0 2020-04-01
html Libraries for HTML programming. 1.1.0 2020-04-01
html Libraries for HTML programming. 1.0.0 2020-04-01
gui Libraries for programming graphical user interfaces 1.0.0 2020-04-01
graphviz Libraries to visualize graphs with Graphviz 2.0.0 2020-04-01
graphviz Libraries to visualize graphs with Graphviz 1.0.0 2020-04-01
graph-inductive Library for inductive graphs 2.0.0 2020-04-01
graph-inductive Library for inductive graphs 1.0.0 2020-04-01
global-variables Library for handling global variables in PAKCS 1.0.0 2020-04-01
flatcurry-annotated Libraries to represent FlatCurry programs with arbitrary annotations 1.0.0 2020-04-01
flatcurry Libraries to deal with FlatCurry programs 1.0.0 2020-04-01
finite-map Library implementing finite maps (efficient mappings from keys to values) 0.0.1 2020-04-01
failfree curry-failfree A tool to verify whether a Curry program executes without failures 0.0.1 2020-04-01
execpath Operations related to the program execution path 0.0.1 2020-04-01
ertools erd2curry Tools for dealing with database applications specified by entity-relationship diagrams 1.0.0 2020-04-01
easycheck Libraries for automated, property-based testing of Curry programs 0.0.1 2020-04-01
dimacs An interface to SAT solvers supporting DIMACS. 0.0.1 2020-04-01
det-parse Deterministic parser combinators 0.0.1 2020-04-01
currypp currypp The standard preprocessor of Curry 2.0.0 2020-04-01
currypp currypp The standard preprocessor of Curry 0.3.2 2020-04-01
currypp currypp The standard preprocessor of Curry 0.3.1 2020-04-01
currypp curry-pp The standard preprocessor of Curry 0.3.0 2020-04-01
currypath Operations to deal with Curry module names and paths 0.0.1 2020-04-01
currydoc curry-doc A documentation generator for Curry 0.8.3 2020-04-01
currydoc curry-doc A documentation generator for Curry 0.8.2 2020-04-01
currycheck curry-check A tool to support automatic testing of Curry programs 1.1.0 2020-04-01
currycheck curry-check A tool to support automatic testing of Curry programs 1.0.1 2020-04-01
currycheck curry-check A tool to support automatic testing of Curry programs 1.0.0 2020-04-01
currybrowse curry-browse A GUI to browse and analyze the modules of a Curry program 0.5.0 2020-04-01
curry2js curry2js A compiler for Curry into JavaScript programs used in WUIs. 0.2.0 2020-04-01
curry-ast Libaries to represent Curry programs 2.1.0 2020-04-01
curry-ast Libaries to represent Curry programs 2.0.0 2020-04-01
csv Library for reading/writing files in CSV format 1.0.0 2020-04-01
cryptohash Library for simple cryptography hashing 0.0.1 2020-04-01
cpns curry-cpnsd Curry port name server and sockets with symbolic names 0.0.1 2020-04-01
cpm-manage cpm-manage Tools to manage the main repository of the Curry Package Manager 2.0.0 2020-04-01
cpm-manage cpm-manage Tools to manage the main repository of the Curry Package Manager 0.0.3 2020-04-01
cpm-manage cpm-manage Tools to manage the main repository of the Curry Package Manager 0.0.2 2020-04-01
cpm-manage cpm-manage Tools to manage the main repository of the Curry Package Manager 0.0.1 2020-04-01
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.1.0 2020-04-01
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 2.0.0 2020-04-01
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 1.0.0 2020-04-01
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.3 2020-04-01
cpm cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.2 2020-04-01
cpm cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.1 2020-04-01
cpm cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.2.0 2020-04-01
cpm cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.1.1 2020-04-01
cpm cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.1.0 2020-04-01
cpm cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.0.4 2020-04-01
cpm cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.0.3 2020-04-01
cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.0.2 2020-04-01
cpm Curry Package Manager: a tool to distribute and install Curry libraries and applications 0.0.1 2020-04-01
coosy coosy-gui A tool to observe functional logic computations 2.0.0 2020-04-01
coosy coosy-gui A tool to observe functional logic computations 1.0.0 2020-04-01
contract-prover curry-ctopt A tool to optimize contracts in FlatCurry programs by proving contracts 0.0.1 2020-04-01
combinatorial A collection of common non-deterministic and/or combinatorial operations 1.0.0 2020-04-01
clpfd-smt Libraries for finite-domain constraints implemented with SMT/SAT 0.0.1 2020-04-01
clpbool A library with a constraint solver over the Booleans 2.0.0 2020-04-01
clpbool A library with a constraint solver over the Booleans 0.0.1 2020-04-01
chr-curry A library to use Constraint Handling Rules in Curry programs 2.0.0 2020-04-01
chr-curry A library to use Constraint Handling Rules in Curry programs 1.0.0 2020-04-01
chr-curry A library to use Constraint Handling Rules in Curry programs 0.0.1 2020-04-01
cdbi Libraries for type-safe database programming 2.0.0 2020-04-01
cdbi Libraries for type-safe database programming 1.1.0 2020-04-01
cdbi Libraries for type-safe database programming 1.0.0 2020-04-01
cass-analysis Libraries with various compile-time analyses for Curry 0.0.4 2020-04-01
cass-analysis Libraries with various compile-time analyses for Curry 0.0.3 2020-04-01
cass-analysis Libraries with various compile-time analyses for Curry 0.0.2 2020-04-01
cass-analysis Libraries with various compile-time analyses for Curry 0.0.1 2020-04-01
cass cass CASS: the Curry Analysis Server System 0.0.1 2020-04-01
casc curry-style A tool to check the formatting style of Curry programs 0.0.1 2020-04-01
call-analysis curry-ndopt A call-pattern analysis and transformation tool to improve lazy non-deterministic computations 2.0.0 2020-04-01
call-analysis curry-ndopt A call-pattern analysis and transformation tool to improve lazy non-deterministic computations 0.0.1 2020-04-01
bpmn2bpel Libraries to support a bi-directional transformation between BPMN and BPEL 0.1.0 2020-04-01
bpmn2bpel Libraries to support a bi-directional transformation between BPMN and BPEL 0.0.1 2020-04-01
boxes A pretty printer for boxes 2.0.0 2020-04-01
boxes A pretty printer for boxes 0.0.2 2020-04-01
boxes A pretty printer for boxes 0.0.1 2020-04-01
binint Libraries with a binary representation of natural and integers 2.0.0 2020-04-01
binint Libraries with a binary representation of natural and integers 0.0.1 2020-04-01
bindata Library to support reading/writing binary data 1.0.0 2020-04-01
benchmark-papers exec-benchmarkpaper A tool to support executable benchmark papers 2.0.0 2020-04-01
benchmark-papers exec-benchmarkpaper A tool to support executable benchmark papers 0.0.1 2020-04-01
base Base libraries for Curry systems 1.0.0 2020-04-01
array An implementation of arrays with Braun trees. 0.0.1 2020-04-01
ansi-terminal Library supporting formatted output on terminals 0.0.1 2020-04-01
addtypes curry-addtypes A tool to add missing type signatures in a Curry program 0.0.1 2020-04-01
abstract-haskell Libraries to represent Haskell programs in Curry 2.0.0 2020-04-01
abstract-curry Libraries to deal with AbstractCurry programs 2.0.0 2020-04-01
abstract-curry Libraries to deal with AbstractCurry programs 1.0.0 2020-04-01

Statistics:

142 packages
435 package versions