This is your work, valued

Language and code analysis researcher building semantic indexers and relational programming tools.

semantic code indexing and type inferencerelational and logic programmingfunctional programming languagesstructural code comparison and diffingprogramming language design and implementationstatic analysis and code intelligence

inferred from the public footprint

Wed
Thu
Fri
Sat
Sun
Mon
Yesterday

Yin Wang

Top 50%
@yinwang0

Creates semantic indexers and diff tools for multiple languages, from Ruby's type inference in rubysonar to cross-language comparison in ydiff, plus logic programming variants like ykanren.

PySonar2. I built a Python code indexer that finds definitions and infers types across whole projects.

1.4k

TinyKanren. I wrote a minimal tool for solving logic problems and pattern matching.

52

RubySonar. I built a semantic indexer that understands Ruby code structure and types.

199

Psydiff. I made a tool that shows you the structural differences between Python files.

118

Ykanren. I built a logic puzzle solver with pure negation that finds all answers.

10

Ydiff. I made a tool that understands code structure to show real changes.

193

Vision Coursework. I completed Stanford's computer vision course with full working solutions.

5

Historical. I wrote educational code examples showing how programming languages work.

30