2 search results for "tag:"lsp""

Showing 1 - 2
  1. catala-lsp

    No documentation

    Catala Language Server Protocol (LSP)
    catala lsp
    Vincent Botbol
    1.0.0~beta
    Apache-2.0
    Used by 0 other packages
    23 Oct 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