├── .github └── workflows │ ├── clear_cache.yml │ ├── system_eff.yml │ ├── system_effekt.yml │ ├── system_hia.yml │ ├── system_koka.yml │ ├── system_libhandler.yml │ ├── system_libmpeff.yml │ ├── system_libseff.yml │ ├── system_links.yml │ └── system_ocaml.yml ├── .gitignore ├── LABELS.md ├── LICENSE ├── Makefile ├── README.md ├── artifacts ├── eff-explicit-effects-subtyping │ ├── Dockerfile │ ├── Makefile │ ├── README.md │ └── generator.eff └── hia │ ├── Makefile │ └── README.md ├── benchmarks ├── eff │ ├── Makefile │ ├── OcamlHeader.ml │ ├── countdown │ │ ├── main.eff │ │ └── wrapper.ml │ ├── fibonacci_recursive │ │ ├── main.eff │ │ └── wrapper.ml │ ├── generator │ │ ├── dune │ │ ├── generated_002_generator.ml │ │ ├── main.eff │ │ └── wrapper.ml │ ├── handler_sieve │ │ ├── main.eff │ │ └── wrapper.ml │ ├── iterator │ │ ├── main.eff │ │ └── wrapper.ml │ ├── nqueens │ │ ├── main.eff │ │ └── wrapper.ml │ ├── parsing_dollars │ │ ├── main.eff │ │ └── wrapper.ml │ ├── product_early │ │ ├── main.eff │ │ └── wrapper.ml │ ├── resume_nontail │ │ ├── main.eff │ │ └── wrapper.ml │ ├── tree_explore │ │ ├── main.eff │ │ └── wrapper.ml │ └── triples │ │ ├── dune │ │ ├── generated_004_triples.ml │ │ ├── main.eff │ │ └── wrapper.ml ├── effekt │ ├── Makefile │ ├── countdown │ │ └── main.effekt │ ├── fibonacci_recursive │ │ └── main.effekt │ ├── iterator │ │ └── main.effekt │ ├── nqueens │ │ └── main.effekt │ ├── parsing_dollars │ │ └── main.effekt │ ├── product_early │ │ └── main.effekt │ ├── resume_nontail │ │ └── main.effekt │ ├── tree_explore │ │ └── main.effekt │ └── triples │ │ └── main.effekt ├── hia │ ├── HIA │ │ ├── DesugarHandlers.hs │ │ ├── Handlers.hs │ │ ├── ParseCode.hs │ │ ├── ParseHandlers.hs │ │ └── TopLevel.hs │ ├── Makefile │ ├── countdown │ │ └── Main.hs │ ├── fibonacci_recursive │ │ └── Main.hs │ ├── generator │ │ └── Main.hs │ ├── iterator │ │ └── Main.hs │ ├── nqueens │ │ └── Main.hs │ ├── product_early │ │ └── Main.hs │ ├── resume_nontail │ │ └── Main.hs │ └── triples │ │ └── Main.hs ├── koka │ ├── Makefile │ ├── countdown │ │ └── main.kk │ ├── fibonacci_recursive │ │ └── main.kk │ ├── generator │ │ └── main.kk │ ├── handler_sieve │ │ └── main.kk │ ├── iterator │ │ └── main.kk │ ├── nqueens │ │ └── main.kk │ ├── parsing_dollars │ │ └── main.kk │ ├── product_early │ │ └── main.kk │ ├── resume_nontail │ │ └── main.kk │ ├── tree_explore │ │ └── main.kk │ └── triples │ │ └── main.kk ├── libhandler │ └── Makefile ├── libmpeff │ ├── Makefile │ ├── countdown │ │ └── main.c │ ├── fibonacci_recursive │ │ └── main.c │ ├── generator │ │ └── main.c │ ├── handler_sieve │ │ └── main.c │ ├── iterator │ │ └── main.c │ ├── parsing_dollars │ │ └── main.c │ ├── product_early │ │ └── main.c │ └── resume_nontail │ │ └── main.c ├── libseff │ ├── Makefile │ ├── countdown │ │ ├── main.c │ │ └── main_rec.c │ ├── fibonacci_recursive │ │ └── main.c │ ├── generator │ │ └── main.c │ ├── handler_sieve │ │ └── main.c │ ├── iterator │ │ └── main.c │ ├── parsing_dollars │ │ └── main.c │ ├── product_early │ │ └── main.c │ └── resume_nontail │ │ └── main.c ├── links │ └── Makefile └── ocaml │ ├── Makefile │ ├── countdown │ └── main.ml │ ├── fibonacci_recursive │ └── main.ml │ ├── generator │ └── main.ml │ ├── handler_sieve │ └── main.ml │ ├── iterator │ └── main.ml │ ├── nqueens │ └── main.ml │ ├── parsing_dollars │ └── main.ml │ ├── product_early │ └── main.ml │ ├── resume_nontail │ └── main.ml │ ├── tree_explore │ └── main.ml │ └── triples │ └── main.ml ├── descriptions ├── countdown │ └── README.md ├── fibonacci_recursive │ └── README.md ├── generator │ └── README.md ├── handler_sieve │ └── README.md ├── iterator │ └── README.md ├── nqueens │ └── README.md ├── parsing_dollars │ └── README.md ├── product_early │ └── README.md ├── resume_nontail │ └── README.md ├── template │ └── README.md ├── tree_explore │ └── README.md └── triples │ └── README.md └── systems ├── Dockerfile ├── eff └── Dockerfile ├── effekt └── Dockerfile ├── hia └── Dockerfile ├── koka └── Dockerfile ├── libhandler └── Dockerfile ├── libmpeff └── Dockerfile ├── libseff └── Dockerfile ├── links └── Dockerfile └── ocaml └── Dockerfile /.github/workflows/clear_cache.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/clear_cache.yml -------------------------------------------------------------------------------- /.github/workflows/system_eff.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_eff.yml -------------------------------------------------------------------------------- /.github/workflows/system_effekt.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_effekt.yml -------------------------------------------------------------------------------- /.github/workflows/system_hia.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_hia.yml -------------------------------------------------------------------------------- /.github/workflows/system_koka.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_koka.yml -------------------------------------------------------------------------------- /.github/workflows/system_libhandler.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_libhandler.yml -------------------------------------------------------------------------------- /.github/workflows/system_libmpeff.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_libmpeff.yml -------------------------------------------------------------------------------- /.github/workflows/system_libseff.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_libseff.yml -------------------------------------------------------------------------------- /.github/workflows/system_links.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_links.yml -------------------------------------------------------------------------------- /.github/workflows/system_ocaml.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.github/workflows/system_ocaml.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/.gitignore -------------------------------------------------------------------------------- /LABELS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/LABELS.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/README.md -------------------------------------------------------------------------------- /artifacts/eff-explicit-effects-subtyping/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/artifacts/eff-explicit-effects-subtyping/Dockerfile -------------------------------------------------------------------------------- /artifacts/eff-explicit-effects-subtyping/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/artifacts/eff-explicit-effects-subtyping/Makefile -------------------------------------------------------------------------------- /artifacts/eff-explicit-effects-subtyping/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/artifacts/eff-explicit-effects-subtyping/README.md -------------------------------------------------------------------------------- /artifacts/eff-explicit-effects-subtyping/generator.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/artifacts/eff-explicit-effects-subtyping/generator.eff -------------------------------------------------------------------------------- /artifacts/hia/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/artifacts/hia/Makefile -------------------------------------------------------------------------------- /artifacts/hia/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/artifacts/hia/README.md -------------------------------------------------------------------------------- /benchmarks/eff/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/Makefile -------------------------------------------------------------------------------- /benchmarks/eff/OcamlHeader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/OcamlHeader.ml -------------------------------------------------------------------------------- /benchmarks/eff/countdown/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/countdown/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/countdown/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/countdown/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/fibonacci_recursive/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/fibonacci_recursive/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/fibonacci_recursive/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/fibonacci_recursive/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/generator/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/generator/dune -------------------------------------------------------------------------------- /benchmarks/eff/generator/generated_002_generator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/generator/generated_002_generator.ml -------------------------------------------------------------------------------- /benchmarks/eff/generator/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/generator/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/generator/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/generator/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/handler_sieve/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/handler_sieve/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/handler_sieve/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/handler_sieve/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/iterator/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/iterator/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/iterator/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/iterator/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/nqueens/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/nqueens/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/nqueens/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/nqueens/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/parsing_dollars/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/parsing_dollars/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/parsing_dollars/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/parsing_dollars/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/product_early/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/product_early/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/product_early/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/product_early/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/resume_nontail/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/resume_nontail/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/resume_nontail/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/resume_nontail/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/tree_explore/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/tree_explore/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/tree_explore/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/tree_explore/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/eff/triples/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/triples/dune -------------------------------------------------------------------------------- /benchmarks/eff/triples/generated_004_triples.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/triples/generated_004_triples.ml -------------------------------------------------------------------------------- /benchmarks/eff/triples/main.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/triples/main.eff -------------------------------------------------------------------------------- /benchmarks/eff/triples/wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/eff/triples/wrapper.ml -------------------------------------------------------------------------------- /benchmarks/effekt/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/Makefile -------------------------------------------------------------------------------- /benchmarks/effekt/countdown/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/countdown/main.effekt -------------------------------------------------------------------------------- /benchmarks/effekt/fibonacci_recursive/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/fibonacci_recursive/main.effekt -------------------------------------------------------------------------------- /benchmarks/effekt/iterator/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/iterator/main.effekt -------------------------------------------------------------------------------- /benchmarks/effekt/nqueens/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/nqueens/main.effekt -------------------------------------------------------------------------------- /benchmarks/effekt/parsing_dollars/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/parsing_dollars/main.effekt -------------------------------------------------------------------------------- /benchmarks/effekt/product_early/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/product_early/main.effekt -------------------------------------------------------------------------------- /benchmarks/effekt/resume_nontail/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/resume_nontail/main.effekt -------------------------------------------------------------------------------- /benchmarks/effekt/tree_explore/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/tree_explore/main.effekt -------------------------------------------------------------------------------- /benchmarks/effekt/triples/main.effekt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/effekt/triples/main.effekt -------------------------------------------------------------------------------- /benchmarks/hia/HIA/DesugarHandlers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/HIA/DesugarHandlers.hs -------------------------------------------------------------------------------- /benchmarks/hia/HIA/Handlers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/HIA/Handlers.hs -------------------------------------------------------------------------------- /benchmarks/hia/HIA/ParseCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/HIA/ParseCode.hs -------------------------------------------------------------------------------- /benchmarks/hia/HIA/ParseHandlers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/HIA/ParseHandlers.hs -------------------------------------------------------------------------------- /benchmarks/hia/HIA/TopLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/HIA/TopLevel.hs -------------------------------------------------------------------------------- /benchmarks/hia/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/Makefile -------------------------------------------------------------------------------- /benchmarks/hia/countdown/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/countdown/Main.hs -------------------------------------------------------------------------------- /benchmarks/hia/fibonacci_recursive/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/fibonacci_recursive/Main.hs -------------------------------------------------------------------------------- /benchmarks/hia/generator/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/generator/Main.hs -------------------------------------------------------------------------------- /benchmarks/hia/iterator/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/iterator/Main.hs -------------------------------------------------------------------------------- /benchmarks/hia/nqueens/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/nqueens/Main.hs -------------------------------------------------------------------------------- /benchmarks/hia/product_early/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/product_early/Main.hs -------------------------------------------------------------------------------- /benchmarks/hia/resume_nontail/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/resume_nontail/Main.hs -------------------------------------------------------------------------------- /benchmarks/hia/triples/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/hia/triples/Main.hs -------------------------------------------------------------------------------- /benchmarks/koka/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/Makefile -------------------------------------------------------------------------------- /benchmarks/koka/countdown/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/countdown/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/fibonacci_recursive/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/fibonacci_recursive/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/generator/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/generator/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/handler_sieve/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/handler_sieve/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/iterator/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/iterator/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/nqueens/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/nqueens/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/parsing_dollars/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/parsing_dollars/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/product_early/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/product_early/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/resume_nontail/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/resume_nontail/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/tree_explore/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/tree_explore/main.kk -------------------------------------------------------------------------------- /benchmarks/koka/triples/main.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/koka/triples/main.kk -------------------------------------------------------------------------------- /benchmarks/libhandler/Makefile: -------------------------------------------------------------------------------- 1 | test: 2 | # TODO 3 | -------------------------------------------------------------------------------- /benchmarks/libmpeff/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/Makefile -------------------------------------------------------------------------------- /benchmarks/libmpeff/countdown/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/countdown/main.c -------------------------------------------------------------------------------- /benchmarks/libmpeff/fibonacci_recursive/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/fibonacci_recursive/main.c -------------------------------------------------------------------------------- /benchmarks/libmpeff/generator/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/generator/main.c -------------------------------------------------------------------------------- /benchmarks/libmpeff/handler_sieve/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/handler_sieve/main.c -------------------------------------------------------------------------------- /benchmarks/libmpeff/iterator/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/iterator/main.c -------------------------------------------------------------------------------- /benchmarks/libmpeff/parsing_dollars/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/parsing_dollars/main.c -------------------------------------------------------------------------------- /benchmarks/libmpeff/product_early/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/product_early/main.c -------------------------------------------------------------------------------- /benchmarks/libmpeff/resume_nontail/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libmpeff/resume_nontail/main.c -------------------------------------------------------------------------------- /benchmarks/libseff/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/Makefile -------------------------------------------------------------------------------- /benchmarks/libseff/countdown/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/countdown/main.c -------------------------------------------------------------------------------- /benchmarks/libseff/countdown/main_rec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/countdown/main_rec.c -------------------------------------------------------------------------------- /benchmarks/libseff/fibonacci_recursive/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/fibonacci_recursive/main.c -------------------------------------------------------------------------------- /benchmarks/libseff/generator/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/generator/main.c -------------------------------------------------------------------------------- /benchmarks/libseff/handler_sieve/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/handler_sieve/main.c -------------------------------------------------------------------------------- /benchmarks/libseff/iterator/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/iterator/main.c -------------------------------------------------------------------------------- /benchmarks/libseff/parsing_dollars/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/parsing_dollars/main.c -------------------------------------------------------------------------------- /benchmarks/libseff/product_early/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/product_early/main.c -------------------------------------------------------------------------------- /benchmarks/libseff/resume_nontail/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/libseff/resume_nontail/main.c -------------------------------------------------------------------------------- /benchmarks/links/Makefile: -------------------------------------------------------------------------------- 1 | test: 2 | # TODO 3 | -------------------------------------------------------------------------------- /benchmarks/ocaml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/Makefile -------------------------------------------------------------------------------- /benchmarks/ocaml/countdown/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/countdown/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/fibonacci_recursive/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/fibonacci_recursive/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/generator/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/generator/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/handler_sieve/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/handler_sieve/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/iterator/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/iterator/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/nqueens/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/nqueens/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/parsing_dollars/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/parsing_dollars/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/product_early/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/product_early/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/resume_nontail/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/resume_nontail/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/tree_explore/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/tree_explore/main.ml -------------------------------------------------------------------------------- /benchmarks/ocaml/triples/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/benchmarks/ocaml/triples/main.ml -------------------------------------------------------------------------------- /descriptions/countdown/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/countdown/README.md -------------------------------------------------------------------------------- /descriptions/fibonacci_recursive/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/fibonacci_recursive/README.md -------------------------------------------------------------------------------- /descriptions/generator/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/generator/README.md -------------------------------------------------------------------------------- /descriptions/handler_sieve/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/handler_sieve/README.md -------------------------------------------------------------------------------- /descriptions/iterator/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/iterator/README.md -------------------------------------------------------------------------------- /descriptions/nqueens/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/nqueens/README.md -------------------------------------------------------------------------------- /descriptions/parsing_dollars/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/parsing_dollars/README.md -------------------------------------------------------------------------------- /descriptions/product_early/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/product_early/README.md -------------------------------------------------------------------------------- /descriptions/resume_nontail/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/resume_nontail/README.md -------------------------------------------------------------------------------- /descriptions/template/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/template/README.md -------------------------------------------------------------------------------- /descriptions/tree_explore/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/tree_explore/README.md -------------------------------------------------------------------------------- /descriptions/triples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/descriptions/triples/README.md -------------------------------------------------------------------------------- /systems/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/Dockerfile -------------------------------------------------------------------------------- /systems/eff/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/eff/Dockerfile -------------------------------------------------------------------------------- /systems/effekt/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/effekt/Dockerfile -------------------------------------------------------------------------------- /systems/hia/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/hia/Dockerfile -------------------------------------------------------------------------------- /systems/koka/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/koka/Dockerfile -------------------------------------------------------------------------------- /systems/libhandler/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/libhandler/Dockerfile -------------------------------------------------------------------------------- /systems/libmpeff/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/libmpeff/Dockerfile -------------------------------------------------------------------------------- /systems/libseff/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/libseff/Dockerfile -------------------------------------------------------------------------------- /systems/links/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/links/Dockerfile -------------------------------------------------------------------------------- /systems/ocaml/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effect-handlers-bench/HEAD/systems/ocaml/Dockerfile --------------------------------------------------------------------------------