webyrd/first-class-macros
First class macros, based on Matt Might's blog post http://matt.might.net/articles/metacircular-evaluation-and-first-class-run-time-macros/
Resources from the Polyconf 2015 talk & relational interpreters workshop
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
First class macros, based on Matt Might's blog post http://matt.might.net/articles/metacircular-evaluation-and-first-class-run-time-macros/
Tabling code for miniKanren. Only handles unification constraints, and has various limitations.
Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher