webyrd/igors-turing-machine
Igor Wiedler's relational Turing Machine, ported from core.logic to miniKanren
Public GitHub Catalog
Discovered Sep 27, 2026
webyrd / templateo
Experimenting with cKanren's new `templateo` constraint
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.
#10398915GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/mad-at-x
miniKanren take on adatx main example (https://github.com/LudoTheHUN/adatx)
webyrd/strange-loop-2013
Code from the 2013 Strange Loop talk with Dan Friedman, 'A Relational Exploration of the Chomsky Hierarchy'
webyrd/MU-puzzle
Hofstadter's MU puzzle in miniKanren