webyrd/tree-automata
Tree-automata-based run-time type constraints for miniKanren
Public GitHub Catalog
Discovered Oct 3, 2026
webyrd / webyrd.github.io
Will's Public Tiddlywiki
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#27571186GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/miniKanren-uncourse
Code, wiki, and resources for the weekly miniKanren uncourse
webyrd/dissertation-single-spaced
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
webyrd/lambda-lounge-utah-mk-talk
Code from Lambda Lounge Utah talk on miniKanren, 13 May 02104