Projects in Awesome Lists by yinwang0
A curated list of projects in awesome lists by yinwang0 .
https://github.com/yinwang0/pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference
code-analysis code-intelligence code-search index python static-analysis type-inference
Last synced: 15 May 2025
https://github.com/yinwang0/rubysonar
A semantic indexer for Ruby with interprocedual type inference
code-analysis code-index code-search ruby static-analysis type-inference
Last synced: 06 Apr 2025
https://github.com/yinwang0/ydiff
A structural comparison tool for Lisp family languages, with experimental C++, JS support
Last synced: 04 Mar 2025
https://github.com/yinwang0/psydiff
A structural comparison tool for Python
Last synced: 11 Apr 2025
https://github.com/yinwang0/tinykanren
A minimalist revision of the miniKanren language with no additional features
Last synced: 04 Mar 2025
https://github.com/yinwang0/tinyKanren
A minimalist revision of the miniKanren language with no additional features
Last synced: 18 Apr 2025
https://github.com/yinwang0/historical
Some educational code written 10+ years ago at IU
Last synced: 04 Mar 2025
https://github.com/yinwang0/lightsabers
Some educational code written 10+ years ago at IU
Last synced: 30 Mar 2025
https://github.com/yinwang0/ykanren
miniKanren with a constraint-based negation operator
Last synced: 04 Mar 2025
https://github.com/yinwang0/cs231n
My solutions to Stanford cs231n computer vision course
Last synced: 11 Apr 2025