webyrd/minikanren-playground
Extremely early prototype of an interactive programming assistant, based on the relational interpreter approach in miniKanren.
Public GitHub Catalog
Discovered Oct 5, 2026
webyrd / hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
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.
#30943378GitHub 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