Alternatives and similar repositories for faster-minikanren

Users that are interested in faster-minikanren are comparing it to the libraries listed below

• webyrd / miniKanren-with-symbolic-constraints

  View on GitHub
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆167Apr 1, 2017Updated 8 years ago
• webyrd / normalization-by-evaluation

  View on GitHub
  Normalization-by-evaluation in miniKanren
  ☆25Feb 26, 2023Updated 2 years ago
• webyrd / curnelo

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

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 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
• jasonhemann / microKanren

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

  View on GitHub
  miniKanren for search, SMT for solving
  ☆13Oct 20, 2019Updated 6 years ago
• calvis / cKanren

  View on GitHub
  Constraint programming language embedded in Racket
  ☆154Sep 17, 2021Updated 4 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
• gregr / first-order-miniKanren

  View on GitHub
  miniKanren with a first-order representation of the search space
  ☆17Jul 23, 2024Updated last year
• namin / clpsmt-miniKanren

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

  View on GitHub
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Jan 29, 2026Updated 2 weeks ago
• gregr / icfp2017-artifact-auas7pp

  View on GitHub
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Jan 13, 2018Updated 8 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
• 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
• webyrd / tree-automata

  View on GitHub
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Aug 3, 2023Updated 2 years ago
• webyrd / alphaKanren

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

  View on GitHub
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Mar 28, 2020Updated 5 years ago
• webyrd / relational-cesk

  View on GitHub
  Relational implementation of the CESK machine
  ☆21Jul 15, 2013Updated 12 years ago
• tca / veneer

  View on GitHub
  miniKanren in the browser
  ☆56Mar 25, 2016Updated 9 years ago
• jasonhemann / constraint-microKanren

  View on GitHub
  A microKanren framework for implementing constraints.
  ☆19May 30, 2018Updated 7 years ago
• rntz / minikanren-datalog

  View on GitHub
  Datalog implemented in minikanren
  ☆24Sep 14, 2017Updated 8 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
• webyrd / probKanren

  View on GitHub
  Probabilistic miniKanren
  ☆67Oct 20, 2015Updated 10 years ago
• larcenists / larceny

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

  View on GitHub
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆416Jun 21, 2022Updated 3 years ago
• namin / metamk

  View on GitHub
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Mar 9, 2025Updated 11 months ago
• stamourv / partial-evaluation-tutorial

  View on GitHub
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Aug 7, 2012Updated 13 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• k-tsushima / Shin-Barliman

  View on GitHub
  Research project: Program synthesis using updated interface, template and types.
  ☆14Dec 2, 2020Updated 5 years ago
• michaelballantyne / ee-lib

  View on GitHub
  ☆12Jun 7, 2024Updated last year
• webyrd / wreckto-verseo

  View on GitHub
  Experiments with the Verse Calculus in miniKanren
  ☆14Sep 17, 2023Updated 2 years ago
• orchid-hybrid / microKanren-sagittarius

  View on GitHub
  microKanren sagittarius/larceny
  ☆11Jun 13, 2015Updated 10 years ago
• namin / 3-proto-lisp

  View on GitHub
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Jun 21, 2021Updated 4 years ago
• webyrd / Barliman

  View on GitHub
  Prototype smart text editor
  ☆1,078Mar 24, 2025Updated 10 months ago
• TiarkRompf / collapsing-towers

  View on GitHub
  Collapsing Towers of Interpreters
  ☆93Jun 21, 2025Updated 7 months ago
• michaelballantyne / syntax-spec

  View on GitHub
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆40Oct 14, 2025Updated 4 months ago
• david-christiansen / idris-interaction.rkt

  View on GitHub
  A Racket library for interacting with Idris over the IDE protocol
  ☆31Nov 10, 2017Updated 8 years ago
• orchid-hybrid / minimips

  View on GitHub
  minikanren mips assembler/disassembler
  ☆34Mar 28, 2015Updated 10 years ago