florentc / vim-tlaLinks
Vim filetype for the TLA+ specification language and proofs
☆22Updated 4 years ago
Alternatives and similar repositories for vim-tla
Users that are interested in vim-tla are comparing it to the libraries listed below
Sorting:
- A parallel universal-ctags wrapper for git repository☆138Updated 3 weeks ago
- dntw - [D]edicated [N]eovim per [t]mux [w]indow 🤯☆60Updated 5 years ago
- Better whitespace stripping for Vim☆71Updated 2 years ago
- Vim plugin for TLA+ and PlusCal☆29Updated 9 months ago
- Query RFC database and download RFCs from within Vim.☆121Updated last year
- A vim plugin to add commands for fzy inside of vim!☆25Updated 9 years ago
- ☆75Updated 6 years ago
- Conceal operator for haskell☆70Updated 6 years ago
- A Vim plugin for looking up documentation☆301Updated last year
- Make it easy to share beautiful code. DISCLAIMER: This is not an official Google product.☆90Updated 6 years ago
- visual-increment.vim - use CTRL+A/X to create increasing sequence of numbers or letters via visual mode☆157Updated 5 years ago
- Your ultimate motivator for vim☆22Updated 9 years ago
- Vim plugin to take back the quickfix window☆53Updated 5 years ago
- FUSE filesystem that talks the Neovim API☆78Updated 10 years ago
- Vim/Neovim plugin for doing single, multi-patch or diff code reviews☆109Updated last year
- Launch vim tests☆274Updated 4 months ago
- Fuzzy picker for file, buffer, and tag navigation in Vim and Neovim. Lightweight and Unix-philosophy compliant.☆199Updated last year
- unicoder.vim: easy unicode characters in insert mode with abbreviations☆37Updated 6 years ago
- Per project/tree configuration plugins☆125Updated 2 months ago
- ☆104Updated 3 years ago
- ⚡ Ultrafast multi-pane file manager for Neovim with fuzzy matching☆108Updated 5 years ago
- a better (hopefully) :Join command in vim☆80Updated 8 years ago
- Vim script parser☆170Updated 2 years ago
- Extended Visual Mode Commands, Substitutes, and Searches☆39Updated 10 years ago
- Seek makes navigating long lines effortless, acting like f but taking two characters.☆468Updated 11 years ago
- Syntax highlighting for Cap'n Proto schema files☆34Updated 6 years ago
- An ASCII box drawing plugin for Vim☆196Updated 4 years ago
- Vim/Neovim debugger plugin providing a terminal interface to the Debug Adapter Protocol☆48Updated 2 years ago
- Edit terminal command within current Neovim instance☆27Updated 6 years ago
- Vim quickfix editing☆24Updated 7 years ago