Alternatives and similar repositories for miniKanren-hangout-summaries

Users that are interested in miniKanren-hangout-summaries are comparing it to the libraries listed below

• namin / metamk

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

  View on GitHub
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆26Jan 19, 2014Updated 12 years ago
• webyrd / 2012-scheme-workshop-quines-paper-code

  View on GitHub
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Feb 27, 2025Updated 11 months ago
• webyrd / dissertation-single-spaced

  View on GitHub
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆63Dec 30, 2018Updated 7 years ago
• webyrd / will-writes-books

  View on GitHub
  ☆12Feb 20, 2024Updated last year
• jasonhemann / micro-in-mini

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

  View on GitHub
  Concatenative relational interpreter in miniKanren
  ☆22May 11, 2015Updated 10 years ago
• webyrd / polyconf-2015

  View on GitHub
  Resources from the Polyconf 2015 talk & relational interpreters workshop
  ☆16Jul 5, 2015Updated 10 years ago
• webyrd / normalization-by-evaluation

  View on GitHub
  Normalization-by-evaluation in miniKanren
  ☆25Feb 26, 2023Updated 2 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
• webyrd / miniKanren-uncourse

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

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

  View on GitHub
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Aug 3, 2023Updated 2 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
• UberPyro / Prowl-Ideas-Pile

  View on GitHub
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆12Aug 2, 2024Updated last year
• kyagrd / tiper

  View on GitHub
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Jun 24, 2020Updated 5 years ago
• jasonhemann / microKanren-DLS-16

  View on GitHub
  microKanren implementation from DLS '16
  ☆14May 29, 2018Updated 7 years ago
• logicmi / gspeed

  View on GitHub
  极速VPN
  ☆21Aug 6, 2020Updated 5 years ago
• namin / mk-on-smt

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

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

  View on GitHub
  miniKanren in the browser
  ☆56Mar 25, 2016Updated 9 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 / slpKanren

  View on GitHub
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Feb 3, 2013Updated 13 years ago
• gregr / dbKanren

  View on GitHub
  Kanren with databases
  ☆44Jul 30, 2024Updated last year
• davidad / five-letters

  View on GitHub
  Matt Parker waited 31 days for his code to solve this puzzle. I waited 445 milliseconds.
  ☆18Aug 8, 2022Updated 3 years ago
• jasonhemann / constraint-microKanren

  View on GitHub
  A microKanren framework for implementing constraints.
  ☆19May 30, 2018Updated 7 years ago
• michaeljones / mango

  View on GitHub
  Toy experiment of a text editing node graph in Rust
  ☆15Dec 31, 2017Updated 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
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd

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

  View on GitHub
  An abstract machine for analyzing Racket bytecode.
  ☆29May 1, 2021Updated 4 years ago
• webyrd / webmk

  View on GitHub
  miniKanren for interactive tutorials on the web
  ☆34Jun 3, 2025Updated 8 months ago
• webyrd / scheme-primer

  View on GitHub
  Interactive Scheme Primer, written in Scheme.
  ☆22Jun 9, 2025Updated 8 months ago
• Jannis / om-mantras

  View on GitHub
  A collection of truly reusable components for Om (Next)
  ☆21Feb 19, 2016Updated 9 years ago
• david-christiansen / tt-playground

  View on GitHub
  A playground for type theory implementations in Racket
  ☆20Dec 2, 2015Updated 10 years ago
• webyrd / untitled-relational-interpreter-book

  View on GitHub
  Relational Programming in miniKanren
  ☆52Jun 25, 2015Updated 10 years ago
• webyrd / hindley-milner-type-inferencer

  View on GitHub
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆23Feb 17, 2015Updated 11 years ago
• jasonhemann / microKanren

  View on GitHub
  The implementation of microKanren, a featherweight relational programming language
  ☆320Jun 12, 2014Updated 11 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