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-3.1.0 cass-4.0.0 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 cass-analysis-3.1.0 cass-analysis-4.0.0 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-interface-1.0.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-3.1.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 plural-arguments-3.1.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 prolog2curry-1.2.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 rw-data-1.0.0 rw-data-generator-1.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 verify-non-fail-1.2.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
Name | Executable | Synopsis | Version | Upload date |
---|---|---|---|---|
json | A JSON library for Curry | 3.0.0 | 2024-09-04 | |
det-parse | Deterministic parser combinators | 3.0.0 | 2024-09-04 | |
spicey | spiceup | A web application framework for Curry | 4.2.0 | 2024-08-28 |
verify-non-fail | curry-calltypes | A tool to verify Curry operations as non-failing | 1.2.0 | 2024-08-27 |
abstract-curry | Libraries to deal with AbstractCurry programs | 3.0.0 | 2024-08-19 | |
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 | |
cass | cass | CASS: the Curry Analysis Server System | 4.0.0 | 2024-07-25 |
cass-analysis | Libraries with various compile-time analyses for Curry | 4.0.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 | |
plural-arguments | curry-plural | A tool to implement plural arguments in a Curry program | 3.1.0 | 2024-07-23 |
prolog2curry | pl2curry | A tool to transform Prolog programs to Curry programs | 1.2.0 | 2024-07-17 |
contract-prover | curry-contracts | A tool to verify contracts in FlatCurry programs | 3.0.0 | 2024-07-17 |
property-prover | currvy | A tool to verify properties of Curry programs (contracts, non-failing) | 1.1.0 | 2024-07-15 |
peano | Library defining natural numbers in Peano representation | 1.1.0 | 2024-07-10 | |
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-manage | cpm-manage | Tools to manage the main repository of the Curry Package Manager | 3.0.0 | 2024-06-19 |
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 | |
curry-interface | curry-showinterface | Libraries to represent and read module interfaces of Curry programs | 1.0.0 | 2024-05-31 |
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 |
currybrowse | curry-browse | A GUI to browse and analyze the modules of a Curry program | 3.0.0 | 2024-04-15 |
currydoc | curry-doc | A documentation generator for Curry | 3.1.0 | 2024-04-15 |
currypp | currypp | The standard preprocessor of Curry | 3.2.0 | 2024-03-25 |
gui | Libraries for programming graphical user interfaces | 3.0.0 | 2024-03-25 | |
html2 | curry2cgi | Libraries for HTML programming with event-handler-based form processing | 3.5.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 |
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 |
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 |
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 | |
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 | |
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.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 | |
curry-source | Libraries to support the checking of Curry source code | 1.1.0 | 2024-01-29 | |
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 | |
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 |
140 packages
410 package versions