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