yinwang0/ykanren
miniKanren with a constraint-based negation operator
Developer Profile
yinwang0
Discovered public repositories for yinwang0 in the GitHub catalog.
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
yinwang0/psydiff
A structural comparison tool for Python
yinwang0/historical
Some educational code written 10+ years ago at IU