3 search results for "tag:"lsp""

Showing 1 - 3
  1. catala-lsp

    No documentation

    Catala Language Server Protocol (LSP)
    catala lsp
    Vincent Botbol
    1.1.1
    Apache-2.0
    Used by 0 other packages
    03 Feb 2026
  2. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  3. menhir-lsp
    Documentation
    Language Server for Menhir and Ocamllex
    lsp menhir ocamllex
    Federico Dal Pio Luogo
    0.2.1
    GPL-2.0-only
    Used by 0 other packages
    31 Jan 2026