tomtomjhj / vsrocq.nvimLinks
A Neovim client for VsCoq 2 vscoqtop.
☆11Updated last month
Alternatives and similar repositories for vsrocq.nvim
Users that are interested in vsrocq.nvim are comparing it to the libraries listed below
Sorting:
- Neovim client for coq-lsp☆30Updated 2 months ago
- Hoogle search via telescope☆19Updated 3 years ago
- Interactive Coq Proofs in Vim☆309Updated last week
- NeoVim plugin for interacting with Agda written in Lua☆19Updated last year
- Hoogle search integration for Telescope☆54Updated 2 months ago
- Neovim support for the Lean theorem prover☆444Updated this week
- Haskell grammar for tree-sitter.☆174Updated 3 months ago
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆66Updated last week
- Agda interaction pluging for neovim☆40Updated last year
- Simple configuration and extra tools for NVIM + LSP + Idris2☆53Updated 2 months ago
- agda-mode for neovim☆171Updated last month
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆33Updated 2 weeks ago
- OCaml bindings for the Neovim API☆171Updated 3 weeks ago
- 🦥 Supercharge your Haskell experience in neovim!☆558Updated last week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆192Updated last week
- Haskell syntax highlighting that considers variable scopes. Inspired from "Context Coloring" by prof. Douglas Crockford.☆29Updated last month
- ☆97Updated 10 months ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆42Updated 3 years ago
- Debug Adapter for Haskell debugging system.☆62Updated 2 months ago
- unicoder.vim: easy unicode characters in insert mode with abbreviations☆38Updated 6 years ago
- Coq code formatter☆24Updated this week
- OCaml grammar for tree-sitter☆84Updated 6 months ago
- Turn opam-based OCaml projects into Nix derivations☆144Updated last month
- Vim plugin for GHCup☆26Updated 5 years ago
- Nix overlay for Lean 4, and lake2nix☆72Updated last week
- A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, m…☆31Updated 2 years ago
- Haskell bindings for tree-sitter☆168Updated last year
- A Dark Colorscheme for Vim and Neovim with Vitaminic Colors☆14Updated 2 years ago
- Neovim structured editing plugin☆179Updated 3 months ago
- ☆92Updated 2 years ago