webyrd/webyrd.github.io
Will's Public Tiddlywiki
Public GitHub Catalog
Discovered Oct 3, 2026
webyrd / dissertation-single-spaced
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
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.
#26194521GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/miniKanren-uncourse
Code, wiki, and resources for the weekly miniKanren uncourse
webyrd/lambda-lounge-utah-mk-talk
Code from Lambda Lounge Utah talk on miniKanren, 13 May 02104
webyrd/cato
Concatenative relational interpreter in miniKanren