hosted-minikanren

An optimizing compiler implementation of miniKanren

Build status: ok dependency problems failing tests valid license

Documentation README Download
Authors
Documentation
Tags
    License
    Last updatedThursday, September 12th, 2024 6:50:54pm (UTC)
    Ring2
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/michaelballantyne/hosted-minikanren.git#maind20e8a629c1d1a70368ad5a1fb91a5ef42a7225f
    Last checkedThursday, November 21st, 2024 5:46:33am (UTC)
    Last editedWednesday, June 26th, 2024 6:35:10pm (UTC)
    Date addedWednesday, June 26th, 2024 6:35:10pm (UTC)
    Modules
    • hosted-minikanren/private/runtime.rkt
    • hosted-minikanren/tests/oopsla-artifact/minikanren.rkt
    • hosted-minikanren/bench/utils.rkt
    • hosted-minikanren/private/compile/test/unit-test-progs.rkt
    • hosted-minikanren/mk/full-interp.rkt
    • hosted-minikanren/racket-matche.rkt
    • hosted-minikanren/bench/benchmarks/bench.rkt
    • hosted-minikanren/numbers.rkt
    • hosted-minikanren/tests/top-level.rkt
    • hosted-minikanren/bench/langs/ee-all.rkt
    • hosted-minikanren/private/compile/prop-vars.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/south-america.rkt
    • hosted-minikanren/scribblings/main.scrbl
    • hosted-minikanren/tests/cons-list-succeed-test.rkt
    • hosted-minikanren/private/compile/remove-noop.rkt
    • hosted-minikanren/tests/ffi.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/ireland.rkt
    • hosted-minikanren/bench/benchmarks/relational-graph-color.rkt
    • hosted-minikanren/bench/process-bench.rkt
    • hosted-minikanren/bench/benchmarks/four-fours.rkt
    • hosted-minikanren/bench/benchmarks/staging-result.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/australia.rkt
    • hosted-minikanren/private/compile.rkt
    • hosted-minikanren/mk/main.rkt
    • hosted-minikanren/tests/test-var-use-in-apply-rel.rkt
    • hosted-minikanren/tests/mk-tests.rkt
    • hosted-minikanren/private/syntax-classes.rkt
    • hosted-minikanren/bench/langs/ee-dead-code.rkt
    • hosted-minikanren/private/spec.rkt
    • hosted-minikanren/tests/oopsla-artifact/minikanren-program-transformation.rkt
    • hosted-minikanren/tests/local.rkt
    • hosted-minikanren/bench/langs/faster-mk.rkt
    • hosted-minikanren/private/compile/redundant-occurs-check.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/functional-graph-split.rkt
    • hosted-minikanren/tests/oopsla-artifact/minikanren-macro.rkt
    • hosted-minikanren/bench/benchmarks/stdlib/full-interp.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/challenge-3.rkt
    • hosted-minikanren/tests/oopsla-artifact/minikanren-compile-time-errors.rkt
    • hosted-minikanren/demos/icfp2024/demo-compiler-tests.rkt
    • hosted-minikanren/private/compile/test/unit-test-infra.rkt
    • hosted-minikanren/demos/icfp2024/paper-code.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/iberia.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/evalo-standard.rkt
    • hosted-minikanren/bench/benchmarks/stdlib/numbers.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/challenge-2-extra-slow.rkt
    • hosted-minikanren/tests/test2.rkt
    • hosted-minikanren/bench/langs/ee-no-opt.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/mexico.rkt
    • hosted-minikanren/mk/numbers.rkt
    • hosted-minikanren/demos/icfp2024/facts.rkt
    • hosted-minikanren/bench/langs/ee-prop-only.rkt
    • hosted-minikanren/tests/term-from-expression-test.rkt
    • hosted-minikanren/private/compile/reorder-conj.rkt
    • hosted-minikanren/tests/shadowing-and-hygiene.rkt
    • hosted-minikanren/private/interface-macros.rkt
    • hosted-minikanren/private/compile/first-refs.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/evalo-scoping.rkt
    • hosted-minikanren/bench/benchmarks/dmitri-oc-test.rkt
    • hosted-minikanren/bench/langs/ee-occurs-check.rkt
    • hosted-minikanren/private/forms.rkt
    • hosted-minikanren/bench/benchmarks/test-fact.rkt
    • hosted-minikanren/bench/benchmarks/all-in-fd.rkt
    • hosted-minikanren/matche.rkt
    • hosted-minikanren/bench/benchmarks/appendo.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/challenge-2.rkt
    • hosted-minikanren/mk/mk.rkt
    • hosted-minikanren/inspect.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/challenge-1.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/canada.rkt
    • hosted-minikanren/private/compile/remove-no-escape.rkt
    • hosted-minikanren/bench/loader.rkt
    • hosted-minikanren/demos/icfp2024/demo-compiler.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/challenge-4.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/middle-earth.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/evalo-small.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/orchid-graph-coloro.rkt
    • hosted-minikanren/private/compile/utils.rkt
    • hosted-minikanren/private/compile/propagate-fail.rkt
    • hosted-minikanren/tests/interposition.rkt
    • hosted-minikanren/tests/test3.rkt
    • hosted-minikanren/main.rkt
    • hosted-minikanren/private/compile/remove-unused-vars.rkt
    • hosted-minikanren/core.rkt
    • hosted-minikanren/tests/compare-matche.rkt
    • hosted-minikanren/mk/private-unstable.rkt
    • hosted-minikanren/bench/benchmarks/icfp2017/challenge-7.rkt
    • hosted-minikanren/private/compile/fold.rkt
    • hosted-minikanren/mk/simple-interp.rkt
    • hosted-minikanren/tests/shadowing-with-fresh-test.rkt
    • hosted-minikanren/bench/benchmarks/simple-interp-matche-compare.rkt
    • hosted-minikanren/bench/benchmarks/stdlib/simple-interp.rkt
    • hosted-minikanren/private/compile/macro-scopes-bound-id-set.rkt
    • hosted-minikanren/tests/test1.rkt
    • hosted-minikanren/tests/equiv-tests.rkt
    • hosted-minikanren/private/compile/generate-code.rkt
    • hosted-minikanren/bench/benchmarks/infer.rkt
    • hosted-minikanren/tests/test-leo.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/america.rkt
    • hosted-minikanren/bench/benchmarks/graph-coloring/graphs/kazakhstan.rkt
    • hosted-minikanren/mk/matche.rkt
    • hosted-minikanren/bench/bench.rkt
    • hosted-minikanren/tests/equiv-tests-2.rkt