Alternatives and similar repositories for miniKanren-with-symbolic-constraints

Users that are interested in miniKanren-with-symbolic-constraints are comparing it to the libraries listed below

• webyrd / probKanren

  View on GitHub
  Probabilistic miniKanren
  ☆67Oct 20, 2015Updated 10 years ago
• michaelballantyne / faster-minikanren

  View on GitHub
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆167Feb 4, 2025Updated last year
• webyrd / miniKanren

  View on GitHub
  Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
  ☆135Jan 15, 2015Updated 11 years ago
• jasonhemann / microKanren

  View on GitHub
  The implementation of microKanren, a featherweight relational programming language
  ☆320Jun 12, 2014Updated 11 years ago
• namin / staged-miniKanren

  View on GitHub
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Nov 29, 2025Updated 2 months ago
• calvis / cKanren

  View on GitHub
  Constraint programming language embedded in Racket
  ☆154Sep 17, 2021Updated 4 years ago
• miniKanren / Racket-miniKanren

  View on GitHub
  Canonical miniKanren implementation in Racket
  ☆87Sep 21, 2021Updated 4 years ago
• namin / clpsmt-miniKanren

  View on GitHub
  CLP(SMT) on top of miniKanren
  ☆39Feb 26, 2022Updated 3 years ago
• webyrd / faster-miniKanren

  View on GitHub
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆36Feb 28, 2022Updated 3 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd

  View on GitHub
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆140Jun 21, 2018Updated 7 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• webyrd / miniKanren-hangout-summaries

  View on GitHub
  Summaries of intro and advanced miniKanren hangout series
  ☆28Dec 18, 2017Updated 8 years ago
• larrytheliquid / dtgp

  View on GitHub
  Dependently Typed Genetic Programming
  ☆23Jun 24, 2011Updated 14 years ago
• webyrd / untitled-relational-interpreter-book

  View on GitHub
  Relational Programming in miniKanren
  ☆52Jun 25, 2015Updated 10 years ago
• seepel / fleascheme-repl.it

  View on GitHub
  ☆12Sep 3, 2020Updated 5 years ago
• miniKanren / miniKanren

  View on GitHub
  Canonical miniKanren implementation
  ☆365Apr 11, 2018Updated 7 years ago
• pre-srfi / static-scheme

  View on GitHub
  ☆14Mar 10, 2021Updated 4 years ago
• yjqww6 / drracket-paredit

  View on GitHub
  Some useful shortcuts for DrRacket
  ☆80Oct 31, 2020Updated 5 years ago
• akeep / scheme-to-c

  View on GitHub
  A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
  ☆368May 1, 2021Updated 4 years ago
• repos-bitc / bitc

  View on GitHub
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆26Mar 19, 2012Updated 13 years ago
• akeep / nanopass-framework

  View on GitHub
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆324May 1, 2021Updated 4 years ago
• nanopass / nanopass-framework-scheme

  View on GitHub
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆533Dec 29, 2025Updated last month
• salmanebah / opencl-mode

  View on GitHub
  Quick and dirty syntax coloring for opencl kernels
  ☆12May 17, 2025Updated 9 months ago
• webyrd / Barliman

  View on GitHub
  Prototype smart text editor
  ☆1,078Mar 24, 2025Updated 10 months ago
• webyrd / relational-interpreter-with-match

  View on GitHub
  Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
  ☆11Mar 17, 2015Updated 10 years ago
• larcenists / larceny

  View on GitHub
  Larceny Scheme implementation
  ☆209Sep 8, 2017Updated 8 years ago
• marcomaggi / vicare

  View on GitHub
  A native compiler for Scheme compliant with R6RS
  ☆199Jan 30, 2018Updated 8 years ago
• the-little-prover / j-bob

  View on GitHub
  ☆436Feb 8, 2024Updated 2 years ago
• namin / metamk

  View on GitHub
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Mar 9, 2025Updated 11 months ago
• webyrd / miniKanren-uncourse

  View on GitHub
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Apr 20, 2015Updated 10 years ago
• the-little-typer / pie

  View on GitHub
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆739Jul 7, 2021Updated 4 years ago
• webyrd / alphaKanren

  View on GitHub
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆26Jan 19, 2014Updated 12 years ago
• miniKanren / faster-miniKanren

  View on GitHub
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆17Feb 5, 2018Updated 8 years ago
• avsm / xen-minios

  View on GitHub
  Really mini operating system (extracted from xen-unstable, and much stuff removed)
  ☆193Mar 5, 2012Updated 13 years ago
• miniKanren / simple-miniKanren

  View on GitHub
  Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
  ☆44May 29, 2023Updated 2 years ago
• tizoc / shen-scheme

  View on GitHub
  Shen/Scheme implementation
  ☆131Feb 5, 2026Updated last week
• ecraven / r7rs-benchmarks

  View on GitHub
  Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…
  ☆294Feb 3, 2026Updated 2 weeks ago
• webyrd / curnelo

  View on GitHub
  Cur dependently-typed language in miniKanren.
  ☆17Jan 26, 2018Updated 8 years ago
• racket / algol60

  View on GitHub
  ☆13Nov 21, 2025Updated 2 months ago