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