webyrd/minikanren-playground
Extremely early prototype of an interactive programming assistant, based on the relational interpreter approach in miniKanren.
Public GitHub Catalog
Discovered Sep 29, 2026
webyrd / symbolo-numbero-tests-for-core-logic
symbolo and numbero constraint tests for Clojure's core.logic
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.
#16654493GitHub 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/veneer
miniKanren in the browser