Relational interpreter in miniKanren that can generate quines
☆132Jan 29, 2015Updated 11 years ago
Alternatives and similar repositories for quines
Users that are interested in quines are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Constraint programming language embedded in Racket☆154Sep 17, 2021Updated 4 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Feb 28, 2022Updated 4 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- Canonical miniKanren implementation☆366Apr 11, 2018Updated 7 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 10 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 6 years ago
- miniKanren in OCaml☆31May 5, 2023Updated 2 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆121Jan 29, 2026Updated last month
- Canonical miniKanren implementation in Racket☆87Sep 21, 2021Updated 4 years ago
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 9 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 years ago
- A microKanren framework for implementing constraints.☆19May 30, 2018Updated 7 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆368May 1, 2021Updated 4 years ago
- ☆15Feb 21, 2026Updated last month
- They contain so few lines of code, yet so few people get them right.☆40Feb 11, 2014Updated 12 years ago
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Jul 5, 2015Updated 10 years ago
- ☆11Feb 6, 2018Updated 8 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- All the Scheme code examples from the book "The Seasoned Schemer"☆101Mar 9, 2019Updated 7 years ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆15Feb 27, 2025Updated last year
- ☆13Feb 21, 2026Updated last month
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324May 1, 2021Updated 4 years ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆536Dec 29, 2025Updated 2 months ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 5 years ago
- Check who follows you, but you're not following back and vice versa. https://twitter.michielborkent.nl☆14Dec 28, 2018Updated 7 years ago
- A "functionally oriented" Racket dialect.☆44May 18, 2022Updated 3 years ago
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 15 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 11 years ago
- Mitch Bradley's CForth for ESP8266☆17Aug 10, 2023Updated 2 years ago
- Github Actions CI / CD setup for Scheme☆14Jan 8, 2023Updated 3 years ago
- A simple object system for Chez Scheme.☆10Aug 16, 2020Updated 5 years ago
- ☆39Aug 29, 2021Updated 4 years ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 13 years ago
- explorations in core.logic☆118Jun 14, 2024Updated last year
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Mar 28, 2010Updated 15 years ago