webyrd/cool-relational-interpreter-examples
Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
Public GitHub Catalog
Discovered Sep 30, 2026
webyrd / igors-turing-machine
Igor Wiedler's relational Turing Machine, ported from core.logic to miniKanren
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#17929397GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/relational-interpreter-with-match
Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
webyrd/relational-interpreter-with-set-bang
Relational Scheme interpreter, written in miniKanren, with set!, and supporting different evaluation orders
webyrd/relational-sorting
Relational sorting in miniKanren. Collaborative coding experiment from miniKanren Uncourse #13.