3 search results for "tag:"lsp""

Showing 1 - 3
  1. catala-lsp

    No documentation

    Catala Language Server Protocol (LSP)
    catala lsp
    Vincent Botbol
    1.0.0
    Apache-2.0
    Used by 0 other packages
    10 Nov 2025
  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

    No documentation

    Language Server for Menhir and Ocamllex
    lsp menhir ocamllex
    Federico Dal Pio Luogo
    0.2
    GPL-2.0-only
    Used by 0 other packages
    14 Jan 2026