Alternatives and similar repositories for vsrocq.nvim

Users that are interested in vsrocq.nvim are comparing it to the libraries listed below

• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆30Updated 2 months ago
• psiska / telescope-hoogle.nvim
  Hoogle search via telescope
  ☆19Updated 3 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆309Updated last week
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆19Updated last year
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆54Updated 2 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆444Updated this week
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆174Updated 3 months ago
• mrcjkb / neotest-haskell
  Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
  ☆66Updated last week
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated last year
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆53Updated 2 months ago
• agda / cornelis
  agda-mode for neovim
  ☆171Updated last month
• mrcjkb / haskell-snippets.nvim
  My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
  ☆33Updated 2 weeks ago
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆171Updated 3 weeks ago
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆558Updated last week
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆192Updated last week
• kiyoon / haskell-scope-highlighting.nvim
  Haskell syntax highlighting that considers variable scopes. Inspired from "Context Coloring" by prof. Douglas Crockford.
  ☆29Updated last month
• tjdevries / ocaml.nvim
  ☆97Updated 10 months ago
• monkoose / fzf-hoogle.vim
  (neo)vim plugin that uses fzf for previewing hoogle search results
  ☆42Updated 3 years ago
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆62Updated 2 months ago
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆38Updated 6 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated this week
• tree-sitter / tree-sitter-ocaml
  OCaml grammar for tree-sitter
  ☆84Updated 6 months ago
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆144Updated last month
• hasufell / ghcup.vim
  Vim plugin for GHCup
  ☆26Updated 5 years ago
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆72Updated last week
• lukstafi / curious-ocaml
  A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, m…
  ☆31Updated 2 years ago
• tree-sitter / haskell-tree-sitter
  Haskell bindings for tree-sitter
  ☆168Updated last year
• gkapfham / vim-vitamin-onec
  A Dark Colorscheme for Vim and Neovim with Vitaminic Colors
  ☆14Updated 2 years ago
• Dkendal / nvim-treeclimber
  Neovim structured editing plugin
  ☆179Updated 3 months ago
• Simre1 / neorg-haskell-parser
  ☆92Updated 2 years ago