hosted-minikanren

An optimizing compiler implementation of miniKanren

Build status: failed valid license

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