3 search results for "tag:"lsp""

Showing 1 - 3
  1. 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.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  2. linol
    Documentation
    LSP server library
    lsp server lwt
    Simon Cruanes
    0.5
    MIT
    Used by 1 other packages
    17 Feb 2024
  3. linol-lwt
    Documentation
    LSP server library (with Lwt for concurrency)
    lsp server lwt linol
    Simon Cruanes
    0.5
    MIT
    Used by 0 other packages
    17 Feb 2024