webyrd/tabling
Tabling code for miniKanren. Only handles unification constraints, and has various limitations.
Public GitHub Catalog
Discovered Sep 26, 2026
webyrd / KeySchem-ture
KeySchemæture: Scheme research implementation of Impro-Visor grammar-related algorithms
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.
#8120083GitHub 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