Curry Packages in the CPM Repository (Version: March 19, 2024)

Package index:

abstract-curry-1.0.0 abstract-curry-2.0.0 abstract-curry-3.0.0 abstract-haskell-2.0.0 abstract-haskell-3.0.0 addtypes-0.0.1 addtypes-2.0.0 addtypes-3.0.0 addtypes-3.2.0 allvalues-3.0.0 allvalues-4.0.0 ansi-terminal-0.0.1 ansi-terminal-3.0.0 array-0.0.1 array-3.0.0 assoc-legacy-1.0.0 base-1.0.0 base-1.1.0 base-3.0.0 base-3.1.0 base-3.2.0 benchmark-papers-0.0.1 benchmark-papers-2.0.0 benchmark-papers-3.0.0 bindata-1.0.0 bindata-1.1.0 bindata-1.2.0 bindata-3.0.0 binint-0.0.1 binint-2.0.0 binint-3.0.0 boxes-0.0.1 boxes-0.0.2 boxes-2.0.0 boxes-3.0.0 bpmn2bpel-0.0.1 bpmn2bpel-0.1.0 bpmn2bpel-3.0.0 bpmn2bpel-3.1.0 call-analysis-0.0.1 call-analysis-2.0.0 call-analysis-3.0.0 call-analysis-3.2.0 casc-0.0.1 casc-2.0.0 cass-0.0.1 cass-2.0.0 cass-3.0.0 cass-3.0.1 cass-analysis-0.0.1 cass-analysis-0.0.2 cass-analysis-0.0.3 cass-analysis-0.0.4 cass-analysis-2.0.0 cass-analysis-3.0.0 cass-analysis-3.0.1 ccti-0.0.1 cdbi-1.0.0 cdbi-1.1.0 cdbi-2.0.0 cdbi-3.0.0 cdbi-3.1.0 cdbi-3.2.0 chr-curry-0.0.1 chr-curry-1.0.0 chr-curry-2.0.0 chr-curry-2.1.0 chr-curry-3.0.0 chr-curry-3.2.0 clp-pakcs-1.0.0 clp-pakcs-1.1.0 clp-pakcs-3.0.0 clp-pakcs-3.2.0 clpbool-0.0.1 clpbool-2.0.0 clpbool-2.1.0 clpfd-smt-0.0.1 clpfd-smt-0.0.2 combinatorial-1.0.0 combinatorial-3.0.0 combinatorial-3.2.0 containers-3.0.0 contract-prover-0.0.1 contract-prover-1.0.0 contract-prover-3.0.0 contracts-0.0.1 contracts-3.0.0 contracts-3.1.0 coosy-1.0.0 coosy-2.0.0 coosy-3.0.0 coosy-3.1.0 cpc-0.0.1 cpm-0.0.1 cpm-0.0.2 cpm-0.0.3 cpm-0.0.4 cpm-0.1.0 cpm-0.1.1 cpm-0.2.0 cpm-0.2.1 cpm-0.2.2 cpm-0.2.3 cpm-1.0.0 cpm-2.0.0 cpm-2.1.0 cpm-2.1.1 cpm-2.2.0 cpm-3.0.0 cpm-3.1.0 cpm-3.2.0 cpm-manage-0.0.1 cpm-manage-0.0.2 cpm-manage-0.0.3 cpm-manage-2.0.0 cpm-manage-2.1.0 cpm-manage-2.2.0 cpm-manage-3.0.0 cpns-0.0.1 cpns-3.0.0 cryptohash-0.0.1 cryptohash-3.0.0 csv-1.0.0 csv-3.0.0 curry-ast-2.0.0 curry-ast-2.1.0 curry-ast-2.2.0 curry-repl-0.0.1 curry-repl-1.0.0 curry-repl-1.1.0 curry-repl-1.1.1 curry-resources-1.0.0 curry-source-1.0.0 curry-source-1.1.0 curry2js-0.2.0 curry2js-2.0.0 currybrowse-0.5.0 currybrowse-2.0.0 currybrowse-3.0.0 currycheck-1.0.0 currycheck-1.0.1 currycheck-1.1.0 currycheck-2.0.0 currycheck-3.0.0 currycheck-3.2.0 currydoc-0.8.2 currydoc-0.8.3 currydoc-2.0.0 currydoc-3.0.0 currydoc-3.1.0 currypath-0.0.1 currypath-3.0.0 currypp-0.3.0 currypp-0.3.1 currypp-0.3.2 currypp-2.0.0 currypp-2.1.0 currypp-3.0.0 currypp-3.1.0 currypp-3.2.0 db-pakcs-1.0.0 det-parse-0.0.1 det-parse-3.0.0 dimacs-0.0.1 dimacs-3.0.0 directory-3.0.0 distribution-3.0.0 dsdcurry-1.0.0 easycheck-0.0.1 easycheck-3.0.0 easycheck-3.2.0 ertools-1.0.0 ertools-2.0.0 ertools-3.0.0 exact-print-1.0.0 execpath-0.0.1 execpath-3.0.0 extra-3.0.0 failfree-0.0.1 failfree-1.0.0 failfree-3.0.0 filepath-3.0.0 finite-map-0.0.1 finite-map-3.0.0 fl-parser-1.0.0 fl-parser-3.0.0 flatcurry-1.0.0 flatcurry-2.0.0 flatcurry-3.0.0 flatcurry-annotated-1.0.0 flatcurry-annotated-2.0.0 flatcurry-annotated-3.0.0 flatcurry-annotated-3.3.0 flatcurry-compact-0.0.1 flatcurry-compact-3.0.0 flatcurry-type-annotated-3.3.0 flatcurry-type-annotated-3.4.0 flatcurry-typed-3.0.0 frontend-exec-0.0.1 frontend-exec-3.0.0 frontend-exec-3.3.0 global-3.0.0 global-3.1.0 global-3.2.0 global-variables-1.0.0 global-variables-1.1.0 golang-1.0.0 graph-inductive-1.0.0 graph-inductive-2.0.0 graph-inductive-3.0.0 graphviz-1.0.0 graphviz-2.0.0 graphviz-3.0.0 gui-1.0.0 gui-2.0.0 gui-3.0.0 html-1.0.0 html-1.1.0 html-2.0.0 html-2.1.0 html-cgi-0.0.1 html2-0.0.1 html2-0.1.0 html2-1.0.0 html2-3.0.0 html2-3.3.0 html2-3.4.0 html2-3.5.0 icurry-2.0.0 icurry-3.0.0 icurry-3.0.1 icurry-3.1.0 icurry-3.2.0 importusage-0.0.1 importusage-1.0.0 importusage-3.0.0 inversion-3.0.0 io-extra-3.0.0 javascript-1.0.0 javascript-2.0.0 javascript-3.0.0 json-0.0.2 json-0.0.3 json-2.0.0 json-3.0.0 julia-0.0.1 julia-3.0.0 keydb-1.0.0 keydb-2.0.0 keydb-3.0.0 keydb-3.1.0 mail-utils-1.0.0 mail-utils-2.0.0 mail-utils-3.0.0 makefile-0.0.1 makefile-0.0.2 makefile-0.0.3 makefile-2.0.0 makefile-3.0.0 markdown-1.0.0 markdown-1.1.0 markdown-2.0.0 markdown-3.0.0 markdown-3.1.0 markdown-3.2.0 markdown-3.3.0 ninja-1.0.0 ninja-3.0.0 nonstrictunif-optimize-0.0.1 nonstrictunif-optimize-2.0.0 nonstrictunif-optimize-3.0.0 opt-parse-0.0.3 opt-parse-3.0.0 peano-1.0.0 peano-1.1.0 peval-1.0.0 peval-2.0.0 peval-noshare-0.0.1 peval-noshare-0.1.0 pflp-1.0.0 pflp-1.0.1 pflp-2.0.0 plural-arguments-0.0.1 plural-arguments-2.0.0 plural-arguments-3.0.0 ports-1.0.0 ports-1.1.0 ports-3.0.0 printf-0.0.1 printf-3.0.0 process-3.0.0 profiling-1.0.0 profiling-1.1.0 profiling-3.0.0 profiling-pakcs-1.0.0 profiling-pakcs-1.1.0 prolog-1.0.0 prolog-2.0.0 prolog-3.0.0 prolog2curry-1.0.0 prolog2curry-1.1.0 property-prover-1.0.0 property-prover-1.1.0 propertyfile-0.0.1 propertyfile-3.0.0 queue-0.0.1 queue-3.0.0 random-0.0.1 random-3.0.0 read-legacy-3.0.0 redblacktree-0.0.1 redblacktree-3.0.0 regexp-1.0.0 regexp-1.1.0 regexp-3.0.0 regexp-4.0.0 regexp-4.1.0 residuation-analysis-0.0.1 residuation-analysis-3.0.0 rewriting-0.0.1 rewriting-2.0.0 rewriting-2.1.0 rewriting-3.0.0 roman-0.0.1 roman-2.0.0 runcurry-0.0.1 runcurry-1.0.0 runcurry-3.0.0 scc-0.0.1 scc-3.0.0 searchtree-1.0.0 searchtree-1.1.0 searchtree-3.0.0 searchtree-extra-1.0.0 searchtree-unsafe-1.0.0 setfunction-synthesis-0.0.1 setfunctions-0.0.1 setfunctions-3.0.0 showflatcurry-0.0.1 showflatcurry-1.0.0 showflatcurry-3.0.0 smtlib-0.0.1 smtlib-3.0.0 smtlib-solver-0.0.1 smtlib-solver-3.0.0 socket-0.0.1 socket-0.1.0 socket-3.0.0 sourceproggui-0.0.1 sourceproggui-1.0.0 sourceproggui-3.0.0 spicey-1.0.0 spicey-1.1.0 spicey-2.0.0 spicey-2.1.0 spicey-3.0.0 spicey-3.1.0 spicey-3.2.0 spicey-3.3.0 spicey-3.4.0 spicey-4.0.0 spicey-4.1.0 spicey-4.2.0 stylechecker-1.0.0 stylechecker-1.1.0 time-3.0.0 transbooleq-0.2.0 transbooleq-2.0.0 transbooleq-3.0.0 transbooleq-3.1.0 transformers-2.0.0 transformers-3.0.0 traversal-1.0.0 traversal-3.0.0 ui-1.0.0 ui-2.0.0 url-1.0.0 url-3.0.0 verify-0.0.1 verify-0.0.2 verify-2.0.0 verify-3.0.0 verify-non-fail-1.0.0 verify-non-fail-1.1.0 wl-pprint-0.0.1 wl-pprint-3.0.0 wui-1.0.0 wui-1.1.0 wui-2.0.0 wui2-0.0.1 wui2-1.0.0 wui2-3.0.0 wui2-3.1.0 xml-0.0.1 xml-2.0.0 xml-3.0.0 xmldata-0.0.1 xmldata-2.0.0 xmldata-3.0.0

All versions sorted by upload time

NameExecutableSynopsisVersionUpload date
cpm cypm Curry Package Manager: a tool to distribute and install Curry libraries and applications 3.2.0 2024-03-18
html2 curry2cgi Libraries for HTML programming with event-handler-based form processing 3.5.0 2024-03-18
currypath Operations to deal with Curry module names and paths 3.0.0 2024-03-18
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
curry-repl A universal REPL which can be used on top of a Curry compiler 1.1.1 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
rewriting Libraries for term rewriting and narrowing 3.0.0 2024-03-16
verify curry-verify A tool to support the verification of Curry programs 3.0.0 2024-03-16
property-prover currvy A tool to verify properties of Curry programs (contracts, non-failing) 1.1.0 2024-03-16
contract-prover curry-contracts A tool to verify contracts in FlatCurry programs 3.0.0 2024-03-16
benchmark-papers exec-benchmarkpaper A tool to support executable benchmark papers 3.0.0 2024-03-16
failfree curry-failfree A tool to verify whether a Curry program executes without failures 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-type-annotated Libraries to read and write FlatCurry programs with type annotations 3.4.0 2024-03-16
flatcurry-compact curry-compactflat A tool to reduce the size of FlatCurry programs 3.0.0 2024-03-16
flatcurry-annotated Libraries to represent FlatCurry programs with arbitrary annotations 3.3.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
contracts Some auxiliaries used by various Curry tools to check contracts 3.1.0 2024-03-16
coosy coosy-gui A tool to observe functional logic computations 3.1.0 2024-03-16
transbooleq curry-transbooleq A transformation tool to replace Boolean equalities by equational constraints 3.1.0 2024-03-16
currydoc curry-doc A documentation generator for Curry 3.1.0 2024-03-16
currybrowse curry-browse A GUI to browse and analyze the modules of a Curry program 3.0.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
showflatcurry curry-showflat Library and tool to show FlatCurry programs in human-readable (Curry-like) form 3.0.0 2024-03-16
importusage curry-usedimports Library and tool to show the usage of imported entities of a module 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
time Library for handling date and time information. 3.0.0 2024-03-15
read-legacy A library for reading and writing from or to strings. 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
profiling Simple profiling library with operations to access run-time data 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
flatcurry Libraries to deal with FlatCurry programs 3.0.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
abstract-curry Libraries to deal with AbstractCurry programs 3.0.0 2024-03-15
containers Library implementing various datastructures 3.0.0 2024-03-13
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
det-parse Deterministic parser combinators 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
allvalues Libraries with operations to strongly encapsulate non-deterministic computations 4.0.0 2024-03-11
setfunctions Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner 3.0.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
xmldata curry-data2xml A tool for generating XML conversion functions 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.1.0 2024-03-08
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
base Base libraries for Curry systems 3.2.0 2024-01-30
currycheck curry-check A tool to support automatic testing of Curry programs 3.2.0 2024-01-30
currypp currypp The standard preprocessor of Curry 3.2.0 2024-01-29
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
searchtree-extra Some extra libraries to deal with seach trees 1.0.0 2024-01-29
chr-curry A library to use Constraint Handling Rules in Curry programs 3.2.0 2024-01-29
clp-pakcs CLP libraries for PAKCS 3.2.0 2024-01-29
searchtree Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list 3.0.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
curry-source Libraries to support the checking of Curry source code 1.1.0 2024-01-29
socket Library for programming with sockets 3.0.0 2023-12-18
gui Libraries for programming graphical user interfaces 3.0.0 2023-12-18
global Library for handling global entities in programs 3.2.0 2023-12-16
ertools erd2curry Tools for dealing with database applications specified by entity-relationship diagrams 3.0.0 2023-12-14
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
cpm-manage cpm-manage Tools to manage the main repository of the Curry Package Manager 3.0.0 2023-11-24
icurry icurry Intermediate format for compiling Curry to imperative languages 3.2.0 2023-11-24
cdbi Libraries for type-safe database programming 3.2.0 2023-11-24
spicey spiceup A web application framework for Curry 4.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 unbound 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
peano Library defining natural numbers in Peano representation 1.1.0 2023-08-02
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
json A JSON library for Curry 3.0.0 2021-04-15
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:

137 packages
399 package versions