[Octave-bug-tracker] [bug #57106] Implement Language Server Protocol

[Anton Kochkov]

Follow-up Comment #3, bug #57106 (project octave):

Sorry for the second post, but to give more mathematical related examples of
Language Server Protocol implementations here are a few:

LaTeX LSP:

- https://texlab.netlify.com/

- https://github.com/latex-lsp/texlab

Coq proof system currently works on LSP support too:

- https://github.com/coq/coq/issues/9012

- https://github.com/coq/coq/projects/30

- https://github.com/ejgallego/coq-serapi/issues/26

Lean prover LSP:

-
https://github.com/leanprover/lean-client-js/tree/master/lean-language-server

- https://observablehq.com/@bryangingechen/hello-lean-prover - an article
describing how it works

Wolfram Mathematica LSP:

- https://github.com/kenkangxgwe/lsp-wl

I hope that will help you to get the idea.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?57106>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/