webyrd/interleaving-small-step-evaluation
Playing with interleaving small-step evaluator for synthesis. With Michael Ballantyne.
Public GitHub Catalog
Discovered Sep 26, 2026
webyrd / relational-parsing-with-derivatives
Relational version of parsing with derivatives code
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.
#7714287GitHub 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