Package
base
All Packages
Categories
Recent Uploads
Masala
Curry Package Manager
Curry Homepage
Dependencies of
base
Package Dependencies
curry2js
curry2js
flatcurry
flatcurry
curry2js->flatcurry
javascript
javascript
curry2js->javascript
clpfd-smt
clpfd-smt
dimacs
dimacs
clpfd-smt->dimacs
fl-parser
fl-parser
clpfd-smt->fl-parser
cpc
cpc
abstract-curry
abstract-curry
cpc->abstract-curry
html
html
cpc->html
dsdcurry
dsdcurry
dsdcurry->abstract-curry
setfunction-synthesis
setfunction-synthesis
setfunction-synthesis->abstract-curry
currypath
currypath
setfunction-synthesis->currypath
finite-map
finite-map
setfunction-synthesis->finite-map
setfunction-synthesis->flatcurry
flatcurry-annotated
flatcurry-annotated
setfunction-synthesis->flatcurry-annotated
searchtree
searchtree
setfunction-synthesis->searchtree
abstract-curry->currypath
directory
directory
abstract-curry->directory
filepath
filepath
abstract-curry->filepath
frontend-exec
frontend-exec
abstract-curry->frontend-exec
read-legacy
read-legacy
abstract-curry->read-legacy
wl-pprint
wl-pprint
abstract-curry->wl-pprint
base
base
abstract-curry->base
abstract-haskell
abstract-haskell
abstract-haskell->wl-pprint
abstract-haskell->base
addtypes
addtypes
addtypes->abstract-curry
curry-source
curry-source
addtypes->curry-source
addtypes->currypath
process
process
addtypes->process
transformers
transformers
addtypes->transformers
addtypes->wl-pprint
addtypes->base
allvalues
allvalues
allvalues->searchtree
allvalues->base
ansi-terminal
ansi-terminal
ansi-terminal->base
array
array
random
random
array->random
array->base
assoc-legacy
assoc-legacy
assoc-legacy->base
benchmark-papers
benchmark-papers
benchmark-papers->directory
benchmark-papers->filepath
io-extra
io-extra
benchmark-papers->io-extra
benchmark-papers->process
profiling
profiling
benchmark-papers->profiling
time
time
benchmark-papers->time
benchmark-papers->base
bindata
bindata
bindata->process
bindata->base
binint
binint
binint->base
boxes
boxes
boxes->base
bpmn2bpel
bpmn2bpel
bpmn2bpel->base
call-analysis
call-analysis
call-analysis->directory
call-analysis->filepath
call-analysis->flatcurry
call-analysis->profiling
redblacktree
redblacktree
call-analysis->redblacktree
showflatcurry
showflatcurry
call-analysis->showflatcurry
call-analysis->base
casc
casc
casc->ansi-terminal
casc->currypath
casc->frontend-exec
casc->wl-pprint
casc->base
cass
cass
cass-analysis
cass-analysis
cass->cass-analysis
containers
containers
cass->containers
cass->currypath
cass->directory
cass->filepath
cass->flatcurry
cass->io-extra
json
json
cass->json
cass->process
propertyfile
propertyfile
cass->propertyfile
cass->redblacktree
rw-data
rw-data
cass->rw-data
scc
scc
cass->scc
socket
socket
cass->socket
cass->time
xml
xml
cass->xml
cass->base
cass-analysis->containers
cass-analysis->currypath
cass-analysis->directory
cass-analysis->filepath
cass-analysis->flatcurry
cass-analysis->profiling
cass-analysis->rw-data
cass-analysis->scc
cass-analysis->time
cass-analysis->base
ccti
ccti
ccti->currypath
ccti->finite-map
ccti->flatcurry
ccti->flatcurry-annotated
ccti->frontend-exec
smtlib
smtlib
ccti->smtlib
smtlib-solver
smtlib-solver
ccti->smtlib-solver
ccti->wl-pprint
ccti->base
cdbi
cdbi
csv
csv
cdbi->csv
cdbi->directory
cdbi->filepath
global
global
cdbi->global
cdbi->io-extra
cdbi->process
cdbi->read-legacy
cdbi->time
cdbi->base
chr-curry
chr-curry
chr-curry->flatcurry
prolog
prolog
chr-curry->prolog
chr-curry->redblacktree
chr-curry->wl-pprint
chr-curry->xml
chr-curry->base
clp-pakcs
clp-pakcs
clp-pakcs->base
combinatorial
combinatorial
combinatorial->base
containers->random
containers->base
contract-prover
contract-prover
contract-prover->containers
contracts
contracts
contract-prover->contracts
contract-prover->currypath
contract-prover->directory
contract-prover->filepath
contract-prover->flatcurry
contract-prover->flatcurry-annotated
flatcurry-smt
flatcurry-smt
contract-prover->flatcurry-smt
flatcurry-type-annotated
flatcurry-type-annotated
contract-prover->flatcurry-type-annotated
contract-prover->io-extra
contract-prover->process
contract-prover->read-legacy
contract-prover->showflatcurry
contract-prover->transformers
contract-prover->wl-pprint
contract-prover->base
contracts->flatcurry
contracts->base
coosy
coosy
coosy->abstract-curry
coosy->currypath
coosy->directory
coosy->filepath
coosy->global
gui
gui
coosy->gui
coosy->process
coosy->base
cpm
cpm
cpm->abstract-curry
cpm->boxes
cpm->cass
cpm->cass-analysis
cpm->cdbi
cryptohash
cryptohash
cpm->cryptohash
cpm->csv
curry-resources
curry-resources
cpm->curry-resources
cpm->currypath
det-parse
det-parse
cpm->det-parse
cpm->directory
execpath
execpath
cpm->execpath
cpm->filepath
cpm->flatcurry
cpm->frontend-exec
graphviz
graphviz
cpm->graphviz
cpm->io-extra
cpm->json
opt-parse
opt-parse
cpm->opt-parse
cpm->process
cpm->profiling
cpm->propertyfile
cpm->read-legacy
cpm->redblacktree
cpm->rw-data
cpm->time
cpm->wl-pprint
cpm->base
cpm-manage
cpm-manage
cpm-manage->cpm
cpm-manage->csv
cpm-manage->curry-resources
cpm-manage->currypath
cpm-manage->directory
cpm-manage->filepath
cpm-manage->graphviz
html2
html2
cpm-manage->html2
cpm-manage->io-extra
cpm-manage->process
cpm-manage->time
cpm-manage->base
cpns
cpns
cpns->directory
cpns->filepath
cpns->process
cpns->profiling
cpns->socket
cpns->time
cpns->base
cryptohash->io-extra
cryptohash->random
cryptohash->base
csv->base
curry-ast
curry-ast
curry-ast->currypath
curry-ast->directory
curry-ast->filepath
curry-ast->frontend-exec
curry-ast->read-legacy
curry-ast->base
curry-interface
curry-interface
curry-interface->currypath
curry-interface->det-parse
curry-interface->directory
curry-interface->filepath
curry-interface->frontend-exec
curry-interface->process
curry-interface->wl-pprint
curry-interface->base
curry-repl
curry-repl
curry-repl->abstract-curry
curry-repl->currypath
curry-repl->directory
curry-repl->filepath
curry-repl->frontend-exec
curry-repl->io-extra
curry-repl->process
curry-repl->propertyfile
curry-repl->base
curry-resources->base
curry-source->abstract-curry
curry-source->flatcurry
curry-source->base
currybrowse
currybrowse
currybrowse->addtypes
currybrowse->cass
currybrowse->cass-analysis
currybrowse->currypath
currybrowse->directory
currybrowse->filepath
currybrowse->flatcurry
currybrowse->graphviz
currybrowse->gui
importusage
importusage
currybrowse->importusage
currybrowse->redblacktree
currybrowse->showflatcurry
currybrowse->time
currybrowse->base
currycheck
currycheck
currycheck->abstract-curry
currycheck->ansi-terminal
currycheck->cass
currycheck->cass-analysis
currycheck->containers
currycheck->contracts
currycheck->csv
currycheck->curry-source
currycheck->currypath
currycheck->directory
easycheck
easycheck
currycheck->easycheck
currycheck->filepath
currycheck->flatcurry
currycheck->frontend-exec
currycheck->process
currycheck->profiling
rewriting
rewriting
currycheck->rewriting
currycheck->rw-data
searchtree-extra
searchtree-extra
currycheck->searchtree-extra
currycheck->wl-pprint
currycheck->base
currydoc
currydoc
currydoc->abstract-curry
currydoc->cass
currydoc->cass-analysis
currydoc->curry-resources
currydoc->flatcurry
currydoc->html2
markdown
markdown
currydoc->markdown
currydoc->wl-pprint
currydoc->base
currypath->directory
currypath->execpath
currypath->filepath
currypath->io-extra
currypath->propertyfile
currypath->base
currypp
currypp
currypp->abstract-curry
currypp->cass
currypp->cass-analysis
currypp->cdbi
currypp->containers
currypp->contracts
currypp->currycheck
currypp->currypath
currypp->directory
currypp->filepath
currypp->fl-parser
currypp->flatcurry
currypp->frontend-exec
currypp->html2
printf
printf
currypp->printf
currypp->process
regexp
regexp
currypp->regexp
currypp->time
currypp->wl-pprint
currypp->xml
currypp->base
det-parse->base
dimacs->io-extra
dimacs->wl-pprint
dimacs->base
directory->filepath
directory->time
directory->base
distribution
distribution
distribution->directory
distribution->filepath
distribution->base
easycheck->searchtree-extra
easycheck->base
ertools
ertools
ertools->abstract-curry
ertools->cdbi
ertools->currypath
ertools->directory
ertools->filepath
ertools->flatcurry
ertools->graphviz
ertools->io-extra
keydb
keydb
ertools->keydb
ertools->process
ertools->time
ertools->wl-pprint
ertools->xml
ertools->base
exact-print
exact-print
exact-print->curry-ast
exact-print->currypath
exact-print->frontend-exec
exact-print->base
execpath->directory
execpath->filepath
execpath->base
extra
extra
extra->base
failfree
failfree
failfree->cass
failfree->cass-analysis
failfree->containers
failfree->contracts
failfree->currypath
failfree->directory
failfree->execpath
failfree->filepath
failfree->flatcurry
failfree->flatcurry-annotated
failfree->flatcurry-smt
failfree->flatcurry-type-annotated
failfree->io-extra
failfree->process
failfree->profiling
failfree->rw-data
failfree->showflatcurry
failfree->transformers
failfree->wl-pprint
failfree->base
filepath->base
finite-map->random
finite-map->base
fl-parser->base
flatcurry->currypath
flatcurry->directory
flatcurry->filepath
flatcurry->frontend-exec
flatcurry->profiling
flatcurry->read-legacy
flatcurry->redblacktree
flatcurry->rw-data
flatcurry->time
flatcurry->transformers
flatcurry->wl-pprint
flatcurry->xml
flatcurry->base
flatcurry-annotated->currypath
flatcurry-annotated->directory
flatcurry-annotated->filepath
flatcurry-annotated->flatcurry
flatcurry-annotated->wl-pprint
flatcurry-annotated->base
flatcurry-compact
flatcurry-compact
flatcurry-compact->currypath
flatcurry-compact->flatcurry
flatcurry-compact->process
flatcurry-compact->base
flatcurry-smt->base
flatcurry-type-annotated->containers
flatcurry-type-annotated->currypath
flatcurry-type-annotated->directory
flatcurry-type-annotated->extra
flatcurry-type-annotated->filepath
flatcurry-type-annotated->flatcurry
flatcurry-type-annotated->flatcurry-annotated
flatcurry-type-annotated->frontend-exec
flatcurry-type-annotated->read-legacy
flatcurry-type-annotated->rewriting
flatcurry-type-annotated->scc
flatcurry-type-annotated->transformers
flatcurry-type-annotated->base
flatcurry-typed
flatcurry-typed
flatcurry-typed->flatcurry
flatcurry-typed->flatcurry-annotated
flatcurry-typed->wl-pprint
flatcurry-typed->base
frontend-exec->currypath
frontend-exec->filepath
frontend-exec->process
frontend-exec->propertyfile
frontend-exec->base
global->directory
global->io-extra
global->base
global-variables
global-variables
global-variables->base
golang
golang
golang->base
graph-inductive
graph-inductive
graph-inductive->containers
graph-inductive->base
graphviz->currypath
graphviz->io-extra
graphviz->propertyfile
graphviz->base
gui->io-extra
gui->process
gui->base
html-cgi
html-cgi
html->html-cgi
html->random
html->base
html-cgi->cpns
html-cgi->base
html2->abstract-curry
html2->cryptohash
html2->currypath
html2->directory
html2->filepath
html2->flatcurry
html2->flatcurry-annotated
html2->flatcurry-type-annotated
html2->global
html2->io-extra
html2->process
html2->time
html2->base
icurry
icurry
icurry->containers
icurry->currypath
icurry->directory
icurry->execpath
icurry->filepath
icurry->flatcurry
icurry->frontend-exec
icurry->graphviz
icurry->io-extra
icurry->process
icurry->read-legacy
icurry->transformers
icurry->wl-pprint
icurry->xml
icurry->base
importusage->currypath
importusage->directory
importusage->filepath
importusage->flatcurry
importusage->base
inversion
inversion
inversion->base
io-extra->directory
io-extra->process
io-extra->base
javascript->base
json->det-parse
json->wl-pprint
json->base
julia
julia
julia->wl-pprint
julia->base
keydb->global
keydb->io-extra
keydb->process
keydb->base
mail-utils
mail-utils
mail-utils->directory
mail-utils->execpath
mail-utils->filepath
mail-utils->io-extra
mail-utils->base
makefile
makefile
makefile->currypath
makefile->directory
makefile->filepath
makefile->flatcurry
makefile->process
makefile->base
markdown->html2
markdown->base
ninja
ninja
ninja->wl-pprint
ninja->base
nonstrictunif-optimize
nonstrictunif-optimize
nonstrictunif-optimize->currypath
nonstrictunif-optimize->directory
nonstrictunif-optimize->flatcurry
nonstrictunif-optimize->process
nonstrictunif-optimize->read-legacy
nonstrictunif-optimize->redblacktree
nonstrictunif-optimize->base
opt-parse->boxes
opt-parse->det-parse
opt-parse->base
peano
peano
peano->base
peval
peval
peval->ansi-terminal
peval->currypath
peval->flatcurry
peval->flatcurry-annotated
peval->profiling
peval->redblacktree
setfunctions
setfunctions
peval->setfunctions
peval->wl-pprint
peval->base
peval-noshare
peval-noshare
peval-noshare->currypath
peval-noshare->frontend-exec
peval-noshare->profiling
peval-noshare->base
pflp
pflp
pflp->base
plural-arguments
plural-arguments
plural-arguments->abstract-curry
plural-arguments->currypath
plural-arguments->directory
plural-arguments->filepath
plural-arguments->frontend-exec
plural-arguments->process
plural-arguments->base
ports
ports
ports->cpns
ports->process
ports->base
printf->base
process->base
profiling->base
profiling-pakcs
profiling-pakcs
profiling-pakcs->base
prolog->base
prolog2curry
prolog2curry
prolog2curry->abstract-curry
prolog2curry->directory
prolog2curry->filepath
prolog2curry->process
prolog2curry->prolog
prolog2curry->base
property-prover
property-prover
property-prover->cass
property-prover->cass-analysis
property-prover->containers
property-prover->contracts
property-prover->currypath
property-prover->directory
property-prover->execpath
property-prover->filepath
property-prover->flatcurry
property-prover->flatcurry-annotated
property-prover->flatcurry-smt
property-prover->flatcurry-type-annotated
property-prover->frontend-exec
property-prover->io-extra
property-prover->process
property-prover->profiling
property-prover->rw-data
property-prover->showflatcurry
property-prover->smtlib
property-prover->smtlib-solver
property-prover->transformers
property-prover->wl-pprint
property-prover->base
propertyfile->directory
propertyfile->base
queue
queue
queue->random
queue->base
random->time
random->base
read-legacy->base
redblacktree->random
redblacktree->base
regexp->base
residuation-analysis
residuation-analysis
residuation-analysis->cass
residuation-analysis->cass-analysis
residuation-analysis->csv
residuation-analysis->currypath
residuation-analysis->directory
residuation-analysis->filepath
residuation-analysis->flatcurry
residuation-analysis->process
residuation-analysis->base
rewriting->abstract-curry
rewriting->containers
rewriting->transformers
rewriting->base
roman
roman
roman->base
runcurry
runcurry
runcurry->currypath
runcurry->directory
runcurry->filepath
runcurry->process
runcurry->time
runcurry->base
rw-data->containers
rw-data->directory
rw-data->process
rw-data->profiling
rw-data->read-legacy
string-trie
string-trie
rw-data->string-trie
rw-data->base
rw-data-generator
rw-data-generator
rw-data-generator->abstract-curry
rw-data-generator->currypath
rw-data-generator->directory
rw-data-generator->filepath
rw-data-generator->flatcurry
rw-data-generator->process
rw-data-generator->profiling
rw-data-generator->rw-data
rw-data-generator->base
scc->redblacktree
scc->base
searchtree->random
searchtree->base
searchtree-extra->random
searchtree-extra->base
searchtree-unsafe
searchtree-unsafe
searchtree-unsafe->searchtree
searchtree-unsafe->base
setfunctions->allvalues
setfunctions->searchtree
setfunctions->base
showflatcurry->currypath
showflatcurry->directory
showflatcurry->filepath
showflatcurry->flatcurry
showflatcurry->process
showflatcurry->wl-pprint
showflatcurry->base
smtlib->containers
smtlib->directory
smtlib->filepath
smtlib->time
smtlib->wl-pprint
smtlib->base
smtlib-solver->extra
smtlib-solver->io-extra
smtlib-solver->smtlib
smtlib-solver->wl-pprint
smtlib-solver->base
socket->base
sourceproggui
sourceproggui
sourceproggui->currypath
sourceproggui->flatcurry
sourceproggui->gui
sourceproggui->base
spicey
spicey
spicey->abstract-curry
spicey->cdbi
spicey->directory
spicey->ertools
spicey->filepath
spicey->process
spicey->time
spicey->base
string-trie->containers
string-trie->profiling
string-trie->base
stylechecker
stylechecker
stylechecker->curry-ast
stylechecker->currypath
stylechecker->directory
stylechecker->filepath
stylechecker->json
stylechecker->transformers
stylechecker->wl-pprint
stylechecker->base
time->base
transbooleq
transbooleq
transbooleq->cass
transbooleq->cass-analysis
transbooleq->csv
transbooleq->currypath
transbooleq->directory
transbooleq->filepath
transbooleq->flatcurry
transbooleq->process
transbooleq->rw-data
transbooleq->base
transformers->base
traversal
traversal
traversal->base
ui
ui
ui->cpns
ui->gui
ui->random
ui->traversal
ui->base
url
url
url->directory
url->execpath
url->filepath
url->io-extra
url->process
url->base
verify
verify
verify->abstract-curry
verify->cass
verify->cass-analysis
verify->currycheck
verify->currypath
verify->directory
verify->filepath
verify->peano
verify->process
verify->rewriting
verify->scc
verify->time
verify->base
verify-non-fail
verify-non-fail
verify-non-fail->abstract-curry
verify-non-fail->cass
verify-non-fail->cass-analysis
verify-non-fail->containers
verify-non-fail->contracts
verify-non-fail->csv
verify-non-fail->currypath
verify-non-fail->directory
verify-non-fail->execpath
verify-non-fail->extra
verify-non-fail->filepath
verify-non-fail->flatcurry
verify-non-fail->flatcurry-smt
verify-non-fail->io-extra
verify-non-fail->json
verify-non-fail->process
verify-non-fail->profiling
verify-non-fail->rw-data
verify-non-fail->scc
verify-non-fail->time
verify-non-fail->transformers
verify-non-fail->wl-pprint
verify-non-fail->xml
verify-non-fail->base
wl-pprint->queue
wl-pprint->base
wui
wui
wui->html
wui->javascript
wui->base
wui2
wui2
wui2->html2
wui2->inversion
wui2->time
wui2->base
xml->base
xmldata
xmldata
xmldata->abstract-curry
xmldata->currypath
xmldata->directory
xmldata->filepath
xmldata->flatcurry
xmldata->process
xmldata->xml
xmldata->base