susliko / tla.nvim
TLA+/PlusCal support for Neovim
☆24Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for tla.nvim
- ☆26Updated 5 months ago
- A starter template for a Neovim plugin written in Lua with a Nix CI☆20Updated 5 months ago
- Utilities for working with Scala in NeoVim.☆14Updated 2 years ago
- Neovim and Telescope plugin to search the scaladex index☆27Updated last year
- Dap configuration for the record and replay debugger. Supports Rust, C++ and C.☆34Updated 4 months ago
- ☆16Updated 3 years ago
- The power of trees at your fingertips☆67Updated last year
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆28Updated last month
- Basic Tree Sitter grammar and syntax highlighting for Smithy☆22Updated 6 months ago
- A document outline tool implemented with the litee.nvim library☆45Updated 2 years ago
- ☆12Updated 3 years ago
- AST grep extension for telescope.nvim☆26Updated last year
- Let's just use a formatter and never discuss formatting again.☆58Updated 2 years ago
- Useful nvim-cmp comparators for rust-analyzer☆20Updated last year
- Rust On the FLY completion for neovim☆64Updated 3 years ago
- Neovim plugin to open multiple files in one buffer☆38Updated last year
- Treesitter grammar for GraphQL☆25Updated 5 months ago
- Hoogle search integration for Telescope☆49Updated last year
- A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, m…☆26Updated 11 months ago
- Fennel language server protocol (LSP) support.☆116Updated last year
- File explorer for nvim and powered by rust☆12Updated 3 years ago
- A json5 parser for luajit☆27Updated 6 months ago
- Goto filenames with line info☆51Updated 7 months ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 2 years ago
- Dynamic and temporal light and dark colour scheme made with Lush.nvim☆21Updated 3 years ago
- Neovim plugin that adds plugin support for teal language☆32Updated 2 years ago
- async compile on neovim☆13Updated last year
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆55Updated this week
- Nix flake for Neovim & Scala Metals☆92Updated 3 weeks ago