Structure and Computer of Interpretation Programs
The Future of SCIP
21–27 of 27 posts
Re: The Future of SCIP
#22I have been using https://github.com/jacktasia/dumb-jump to quickly jump to definitions. LSP is hit or miss; in some languages, it works great, while in others, the implementation is not so good. I have been thinking about a middle ground based on Tree-sitter. GitHub uses Tree-sitter to power code navigation, but unfortunately, I can't find anything good that I can use offline. Why is there no ctags equivalent powere…
[dead]
Re: The Future of SCIP
#23Earlier quoted context omitted.
Nor the other SCIP. https://en.wikipedia.org/wiki/Secure_Communications_Interope...
Or the other other SCIP: https://www.scipopt.org/
Or this SCIP https://www.scip.ch/en/
Re: The Future of SCIP
#24I have been using https://github.com/jacktasia/dumb-jump to quickly jump to definitions. LSP is hit or miss; in some languages, it works great, while in others, the implementation is not so good. I have been thinking about a middle ground based on Tree-sitter. GitHub uses Tree-sitter to power code navigation, but unfortunately, I can't find anything good that I can use offline. Why is there no ctags equivalent powere…
It looks like GitHub's tree-sitter powered code navigation is no longer maintained: https://github.com/github/stack-graphs
Re: The Future of SCIP
#25[dead]
Re: The Future of SCIP
#26Oh, not SICP.
And also not SCP.