Name | Executable | Synopsis | Version | Upload date |
---|---|---|---|---|
verify-non-fail | curry-calltypes | A tool to verify Curry operations as non-failing | 2.0.0 | 2024-10-12 |
cass | cass | CASS: the Curry Analysis Server System | 4.0.0 | 2024-10-12 |
html2 | curry2cgi | Libraries for HTML programming with event-handler-based form processing | 3.5.0 | 2024-10-11 |
cpm | cypm | Curry Package Manager: a tool to distribute and install Curry libraries and applications | 3.3.0 | 2024-10-11 |
json | A JSON library for Curry | 3.0.0 | 2024-10-10 | |
base | Base libraries for Curry systems | 3.3.0 | 2024-10-09 | |
cass-analysis | Libraries with various compile-time analyses for Curry | 4.0.0 | 2024-10-08 | |
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 | |
flatcurry | Libraries to deal with FlatCurry programs | 4.0.0 | 2024-10-07 | |
rw-data-generator | curry-rw-data | A tool to generate read and write operations for a compact data representation | 2.0.0 | 2024-10-07 |
curry-interface | curry-showinterface | Libraries to represent and read module interfaces of Curry programs | 2.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 |
abstract-curry | Libraries to deal with AbstractCurry programs | 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 |
contract-prover | curry-contracts | A tool to verify contracts in FlatCurry programs | 4.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 | |
currybrowse | curry-browse | A GUI to browse and analyze the modules of a Curry program | 3.0.0 | 2024-09-20 |
coosy | coosy-gui | A tool to observe functional logic computations | 3.1.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 | |
containers | Library implementing various datastructures | 3.0.0 | 2024-07-02 | |
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 | |
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 | |
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 | |
searchtree-extra | Some extra libraries to deal with seach trees | 1.0.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 | |
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 | |
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 | |
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 | |
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 |
141 packages
429 package versions