webyrd/minikanren-playground
Extremely early prototype of an interactive programming assistant, based on the relational interpreter approach in miniKanren.
Public GitHub Catalog
Discovered Nov 1, 2026
webyrd / veneer
miniKanren in the browser
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.
#47049051GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/interleaving-small-step-evaluation
Playing with interleaving small-step evaluator for synthesis. With Michael Ballantyne.
webyrd/relational-reactive-programming
Exploring interactive programming in miniKanren (Relational Reactive Programming)
webyrd/codemesh2015
CodeMesh 2015 miniKanren talk