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