yinwang0/ydiff
A structural comparison tool for Lisp family languages, with experimental C++, JS support
miniKanren with a constraint-based negation operator
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A structural comparison tool for Lisp family languages, with experimental C++, JS support
A semantic indexer for Ruby with interprocedual type inference
PySonar2: a semantic indexer for Python with interprocedual type inference
A structural comparison tool for Python