hosted-minikanren

An optimizing compiler implementation of miniKanren

Build status: ok dependency problems failing tests valid license

Authors

michael.ballantyneλ170ea6e

Documentation

hosted-minikanren

Tags

License

Language families

Racket

Last updated

Saturday, July 11th, 2026 11:27:55pm (UTC)

Ring

Conflicts

None

Dependencies

Build platforms

any platform

Most recent build results

Compiled successfully: transcript
Dependency problems: details
Tests failed: transcript

Version Exceptions

Version	Source	Checksum
default	https://github.com/michaelballantyne/hosted-minikanren.git#main	867755c61acd064a07dfcfd0849b01a70f315bed

Last checked

Wednesday, July 15th, 2026 2:27:57am (UTC)

Last edited

Wednesday, June 26th, 2024 6:35:10pm (UTC)

Date added

Wednesday, June 26th, 2024 6:35:10pm (UTC)

Modules

hosted-minikanren/tests/unifiction-regression.rkt
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/bench/bench-compile.rkt
hosted-minikanren/tests/local.rkt
hosted-minikanren/tests/oopsla-artifact/minikanren-program-transformation.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/private/relation-arity.rkt
hosted-minikanren/tests/equiv-tests-2.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/arity-tests.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