Package
io-extra
All Packages
Categories
Recent Uploads
Masala
Curry Package Manager
Curry Homepage
Dependencies of
io-extra
Package Dependencies
markdown
markdown
html2
html2
markdown->html2
wui2
wui2
wui2->html2
call-analysis
call-analysis
flatcurry
flatcurry
call-analysis->flatcurry
showflatcurry
showflatcurry
call-analysis->showflatcurry
chr-curry
chr-curry
chr-curry->flatcurry
contracts
contracts
contracts->flatcurry
curry2js
curry2js
curry2js->flatcurry
flatcurry-typed
flatcurry-typed
flatcurry-typed->flatcurry
flatcurry-annotated
flatcurry-annotated
flatcurry-typed->flatcurry-annotated
cpc
cpc
abstract-curry
abstract-curry
cpc->abstract-curry
curry-source
curry-source
curry-source->abstract-curry
curry-source->flatcurry
dsdcurry
dsdcurry
dsdcurry->abstract-curry
prolog2curry
prolog2curry
prolog2curry->abstract-curry
rewriting
rewriting
rewriting->abstract-curry
ui
ui
gui
gui
ui->gui
clpfd-smt
clpfd-smt
dimacs
dimacs
clpfd-smt->dimacs
frontend-exec
frontend-exec
abstract-curry->frontend-exec
currypath
currypath
abstract-curry->currypath
addtypes
addtypes
addtypes->curry-source
addtypes->abstract-curry
addtypes->currypath
casc
casc
casc->frontend-exec
casc->currypath
cass-analysis
cass-analysis
cass-analysis->flatcurry
cass-analysis->currypath
ccti
ccti
ccti->flatcurry
ccti->flatcurry-annotated
ccti->frontend-exec
ccti->currypath
smtlib-solver
smtlib-solver
ccti->smtlib-solver
coosy
coosy
coosy->abstract-curry
coosy->currypath
global
global
coosy->global
coosy->gui
curry-ast
curry-ast
curry-ast->frontend-exec
curry-ast->currypath
curry-interface
curry-interface
curry-interface->frontend-exec
curry-interface->currypath
exact-print
exact-print
exact-print->curry-ast
exact-print->frontend-exec
exact-print->currypath
flatcurry->frontend-exec
flatcurry->currypath
flatcurry-annotated->flatcurry
flatcurry-annotated->currypath
flatcurry-compact
flatcurry-compact
flatcurry-compact->flatcurry
flatcurry-compact->currypath
flatcurry-type-annotated
flatcurry-type-annotated
flatcurry-type-annotated->rewriting
flatcurry-type-annotated->flatcurry
flatcurry-type-annotated->flatcurry-annotated
flatcurry-type-annotated->frontend-exec
flatcurry-type-annotated->currypath
frontend-exec->currypath
importusage
importusage
importusage->flatcurry
importusage->currypath
makefile
makefile
makefile->flatcurry
makefile->currypath
nonstrictunif-optimize
nonstrictunif-optimize
nonstrictunif-optimize->flatcurry
nonstrictunif-optimize->currypath
peval
peval
peval->flatcurry
peval->flatcurry-annotated
peval->currypath
peval-noshare
peval-noshare
peval-noshare->frontend-exec
peval-noshare->currypath
plural-arguments
plural-arguments
plural-arguments->abstract-curry
plural-arguments->frontend-exec
plural-arguments->currypath
runcurry
runcurry
runcurry->currypath
rw-data-generator
rw-data-generator
rw-data-generator->abstract-curry
rw-data-generator->flatcurry
rw-data-generator->currypath
setfunction-synthesis
setfunction-synthesis
setfunction-synthesis->abstract-curry
setfunction-synthesis->flatcurry
setfunction-synthesis->flatcurry-annotated
setfunction-synthesis->currypath
showflatcurry->flatcurry
showflatcurry->currypath
sourceproggui
sourceproggui
sourceproggui->flatcurry
sourceproggui->currypath
sourceproggui->gui
stylechecker
stylechecker
stylechecker->curry-ast
stylechecker->currypath
xmldata
xmldata
xmldata->abstract-curry
xmldata->flatcurry
xmldata->currypath
spicey
spicey
spicey->abstract-curry
cdbi
cdbi
spicey->cdbi
ertools
ertools
spicey->ertools
currybrowse
currybrowse
currybrowse->addtypes
currybrowse->cass-analysis
currybrowse->flatcurry
currybrowse->importusage
currybrowse->showflatcurry
cass
cass
currybrowse->cass
currybrowse->currypath
graphviz
graphviz
currybrowse->graphviz
currybrowse->gui
currycheck
currycheck
currycheck->contracts
currycheck->curry-source
currycheck->rewriting
currycheck->abstract-curry
currycheck->cass-analysis
currycheck->flatcurry
currycheck->frontend-exec
currycheck->cass
currycheck->currypath
currydoc
currydoc
currydoc->markdown
currydoc->abstract-curry
currydoc->cass-analysis
currydoc->flatcurry
currydoc->cass
currydoc->html2
currypp
currypp
currypp->contracts
currypp->abstract-curry
currypp->cass-analysis
currypp->flatcurry
currypp->frontend-exec
currypp->currycheck
currypp->cass
currypp->cdbi
currypp->currypath
currypp->html2
residuation-analysis
residuation-analysis
residuation-analysis->cass-analysis
residuation-analysis->flatcurry
residuation-analysis->cass
residuation-analysis->currypath
transbooleq
transbooleq
transbooleq->cass-analysis
transbooleq->flatcurry
transbooleq->cass
transbooleq->currypath
verify
verify
verify->rewriting
verify->abstract-curry
verify->cass-analysis
verify->currycheck
verify->cass
verify->currypath
benchmark-papers
benchmark-papers
io-extra
io-extra
benchmark-papers->io-extra
cass->cass-analysis
cass->flatcurry
cpm-query
cpm-query
cass->cpm-query
cass->currypath
cass->io-extra
cdbi->global
cdbi->io-extra
contract-prover
contract-prover
contract-prover->contracts
contract-prover->flatcurry
contract-prover->flatcurry-annotated
contract-prover->flatcurry-type-annotated
contract-prover->showflatcurry
contract-prover->currypath
contract-prover->io-extra
cpm
cpm
cpm->abstract-curry
cpm->cass-analysis
cpm->flatcurry
cpm->frontend-exec
cpm->cass
cpm->cdbi
cryptohash
cryptohash
cpm->cryptohash
cpm->currypath
cpm->graphviz
cpm->io-extra
cpm-manage
cpm-manage
cpm-manage->cpm
cpm-manage->currypath
cpm-manage->graphviz
cpm-manage->html2
cpm-manage->io-extra
cpm-query->flatcurry
cpm-query->currypath
cpm-query->io-extra
cryptohash->io-extra
curry-repl
curry-repl
curry-repl->abstract-curry
curry-repl->frontend-exec
curry-repl->currypath
curry-repl->io-extra
currypath->io-extra
dimacs->io-extra
ertools->abstract-curry
ertools->flatcurry
ertools->cdbi
ertools->currypath
ertools->graphviz
keydb
keydb
ertools->keydb
ertools->io-extra
failfree
failfree
failfree->contracts
failfree->cass-analysis
failfree->flatcurry
failfree->flatcurry-annotated
failfree->flatcurry-type-annotated
failfree->showflatcurry
failfree->cass
failfree->currypath
failfree->io-extra
global->io-extra
graphviz->currypath
graphviz->io-extra
gui->io-extra
html2->abstract-curry
html2->flatcurry
html2->flatcurry-annotated
html2->flatcurry-type-annotated
html2->cryptohash
html2->currypath
html2->global
html2->io-extra
icurry
icurry
icurry->flatcurry
icurry->frontend-exec
icurry->currypath
icurry->graphviz
icurry->io-extra
keydb->global
keydb->io-extra
mail-utils
mail-utils
mail-utils->io-extra
property-prover
property-prover
property-prover->contracts
property-prover->cass-analysis
property-prover->flatcurry
property-prover->flatcurry-annotated
property-prover->flatcurry-type-annotated
property-prover->frontend-exec
property-prover->showflatcurry
property-prover->cass
property-prover->currypath
property-prover->smtlib-solver
property-prover->io-extra
smtlib-solver->io-extra
url
url
url->io-extra
verify-non-fail
verify-non-fail
verify-non-fail->contracts
verify-non-fail->abstract-curry
verify-non-fail->cass-analysis
verify-non-fail->flatcurry
verify-non-fail->cass
verify-non-fail->currypath
verify-non-fail->io-extra
time
time
base
base
time->base
filepath
filepath
filepath->base
directory
directory
directory->time
directory->filepath
directory->base
process
process
process->base
io-extra->directory
io-extra->process
io-extra->base