4 search results for "tag:"lsp""

Showing 1 - 4
  1. catala-lsp

    No documentation

    Catala Language Server Protocol (LSP)
    catala lsp
    Vincent Botbol
    1.2.0
    Apache-2.0
    Used by 0 other packages
    04 Jun 2026
  2. doctor

    No documentation

    Diagnostic CLI for OCaml development environments
    cli diagnostics developer-tools opam dune lsp windows
    Thomas B.
    0.4.0
    MIT
    Used by 0 other packages
    12 Jun 2026
  3. 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
  4. menhir-lsp

    No documentation

    Language Server for Menhir and Ocamllex
    lsp menhir ocamllex
    Federico Dal Pio Luogo
    0.3.3
    GPL-2.0-only
    Used by 0 other packages
    18 Jun 2026