yinwang0/ykanren
miniKanren with a constraint-based negation operator
Public GitHub Catalog
Discovered Sep 24, 2026
yinwang0 / historical
Some educational code written 10+ years ago at IU
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.
#2087916GitHub System ID
yinwang0Organization / User
PublicVisibility
ActiveCatalog Status
More from yinwang0
yinwang0/ydiff
A structural comparison tool for Lisp family languages, with experimental C++, JS support
yinwang0/rubysonar
A semantic indexer for Ruby with interprocedual type inference
yinwang0/pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference