Alternatives and similar repositories for isabelle-lsp.nvim:

Users that are interested in isabelle-lsp.nvim are comparing it to the libraries listed below

• agda / cornelis
  agda-mode for neovim
  ☆137Updated this week
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆18Updated 11 months ago
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆47Updated last year
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆36Updated 3 months ago
• l-Shane-l / tiny-wlhs
  A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …
  ☆31Updated last week
• matthunz / shmonad
  A shell prompt with infinite customization
  ☆39Updated 7 months ago
• mrcjkb / neotest-haskell
  Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
  ☆56Updated last week
• bradrn / wlhs
  Haskell bindings to wlroots (and libwayland)
  ☆65Updated 8 months ago
• josephsumabat / static-ls
  ☆146Updated last week
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆54Updated 6 months ago
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆47Updated last month
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆22Updated last week
• srid / haskell-flake
  A `flake-parts` Nix module for Haskell development
  ☆166Updated last week
• MercuryTechnologies / ghciwatch
  Load a GHCi session for a Haskell project and reload it when source files change
  ☆118Updated last month
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆104Updated 3 weeks ago
• purenix-org / purenix
  Nix backend for PureScript. Transpile PureScript code to Nix.
  ☆305Updated 4 months ago
• monkoose / fzf-hoogle.vim
  (neo)vim plugin that uses fzf for previewing hoogle search results
  ☆41Updated 2 years ago
• NorfairKing / sydtest
  A modern testing framework for Haskell with good defaults and advanced testing features.
  ☆118Updated last week
• haskell / error-messages
  ☆71Updated 2 years ago
• L-as / waymonad
  A wayland compositor based on ideas from and inspired by xmonad
  ☆90Updated 3 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 4 months ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆378Updated this week
• lazamar / haskell-docs-cli
  Browse Hackage from the terminal
  ☆93Updated last month
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆278Updated 2 weeks ago
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 3 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• pnotequalnp / valid-reasons-to-use-java
  Exhaustive list
  ☆22Updated 4 years ago
• pwm / nixkell
  A simple Nix-Haskell skeleton
  ☆99Updated 2 months ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆261Updated 5 months ago
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆132Updated this week