webyrd/miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
Public GitHub Catalog
Discovered Sep 25, 2026
webyrd / miniKanren
Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
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.
#5250877GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/tree-automata
Tree-automata-based run-time type constraints for miniKanren
webyrd/webyrd.github.io
Will's Public Tiddlywiki
webyrd/miniKanren-uncourse
Code, wiki, and resources for the weekly miniKanren uncourse