webyrd/cool-relational-interpreter-examples
Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
Public GitHub Catalog
Discovered Oct 6, 2026
webyrd / tabling
Tabling code for miniKanren. Only handles unification constraints, and has various limitations.
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.
#33462283GitHub 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.