susliko / tla.nvimLinks
TLA+/PlusCal support for Neovim
☆33Updated 6 months ago
Alternatives and similar repositories for tla.nvim
Users that are interested in tla.nvim are comparing it to the libraries listed below
Sorting:
- Copilot LSP implementation in Rust☆69Updated 2 years ago
- Dap configuration for the record and replay debugger. Supports Rust, C++ and C.☆53Updated 10 months ago
- Useful nvim-cmp comparators for rust-analyzer☆24Updated 2 years ago
- Hoogle search integration for Telescope☆54Updated 3 months ago
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆67Updated last week
- In-place translation of TLA⁺ symbols into Unicode, in Neovim☆14Updated 10 months ago
- Neovim plugin for interacting with Rust-Analyzer's LSP extensions☆120Updated 6 months ago
- ☆29Updated last year
- Neovim incremental selection tailored for Rust☆25Updated 3 months ago
- Handle Cargo dependencies like a Rustavimean.☆90Updated 3 years ago
- Basic Tree Sitter grammar and syntax highlighting for Smithy☆22Updated 8 months ago
- Utilities for working with Scala in NeoVim.☆14Updated 4 years ago
- Libs for building neovim plugins using Rust☆14Updated last year
- 🥋 Drive Jujutsu (jj) VCS from Neovim like a pro☆141Updated last week
- Utilities and bindings for writing Neovim plugins in Rust☆79Updated 2 years ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆42Updated 3 years ago
- bacon's companion for neovim☆75Updated last month
- Neotest adapter for Rust, using cargo-nextest.☆102Updated 5 months ago
- A conflict resolution merge tool for Jujutsu VCS that runs in Neovim☆103Updated 3 weeks ago
- A starter template for a Neovim plugin written in Lua with a Nix CI☆25Updated last year
- The power of trees at your fingertips☆70Updated 2 years ago
- Rust On the FLY completion for neovim☆63Updated 4 years ago
- A document outline tool implemented with the litee.nvim library☆47Updated 3 years ago
- Haskell syntax highlighting that considers variable scopes. Inspired from "Context Coloring" by prof. Douglas Crockford.☆29Updated last month
- AST grep extension for telescope.nvim☆40Updated 2 years ago
- Nix flake for Neovim & Scala Metals☆104Updated last month
- ☆47Updated 4 months ago
- Vim plugin to take back the quickfix window☆53Updated 6 years ago
- ☆13Updated 4 years ago
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆33Updated 2 months ago