florentc / vim-tla
Vim filetype for the TLA+ specification language and proofs
☆20Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for vim-tla
- A vim plugin to add commands for fzy inside of vim!☆25Updated 8 years ago
- Vim plugin for TLA+ and PlusCal☆29Updated last year
- A calculator inside Vim☆134Updated 11 months ago
- ☆11Updated 6 years ago
- Better whitespace stripping for Vim☆70Updated last year
- Display Neovim API functions in a buffer for reference.☆14Updated 7 years ago
- Fork of git-time-lapse: Perforce-style for vim/neovim☆33Updated 2 years ago
- A plugin for vim that enables you to replay your editing Session☆32Updated 9 years ago
- Terminal and Repl Extensions - for neovim☆18Updated 3 years ago
- Allow to support Vim 8 in a python/python3 of a remote plugin in Neovim☆9Updated 8 years ago
- ☆8Updated 7 years ago
- A command-line code search tool based on Tree-sitter☆35Updated 6 years ago
- Edit terminal command within current Neovim instance☆27Updated 5 years ago
- Edit vim registers/macros and lists as buffers.☆31Updated last year
- Generate ctags into central location for git super-projects and submodules, vim 'setlocal' helper combined with .git/hooks.☆12Updated 7 years ago
- A Vim plugin that removes clutter and makes working on a widescreen monitor enjoyable.☆39Updated 7 years ago
- nix packaging of neovim-nightly☆9Updated 5 years ago
- Quick search and replace for Vim☆45Updated 5 years ago
- Vim plugin to take back the quickfix window☆53Updated 4 years ago
- Terminal/Vim dictionary/completion powered by fzf and wordnet☆26Updated 3 years ago
- Github code reviews from Neovim☆72Updated 3 years ago
- My colorscheme file.☆28Updated 8 years ago
- vim port of highlightparentheses.el☆25Updated 6 years ago
- Easily create custom Vim operators using expressions and substitutions☆47Updated 5 years ago
- Vim quickfix editing☆24Updated 6 years ago
- Your ultimate motivator for vim☆22Updated 8 years ago
- FUSE filesystem that talks the Neovim API☆76Updated 9 years ago
- Edit your current terminal command.☆37Updated 7 years ago