webyrd/tabling
Tabling code for miniKanren. Only handles unification constraints, and has various limitations.
Public GitHub Catalog
Discovered Sep 27, 2026
webyrd / mk-metacircular-interp
meta-circular miniKanren interpreter
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10159536GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/cool-relational-interpreter-examples
Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
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