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:
- Better whitespace stripping for Vim☆71Updated 2 years ago
- dntw - [D]edicated [N]eovim per [t]mux [w]indow 🤯☆60Updated 6 years ago
- Vim plugin for TLA+ and PlusCal☆29Updated last year
- A parallel universal-ctags wrapper for git repository☆138Updated 2 weeks ago
- vim plugin for direnv support☆208Updated 2 years ago
- Your ultimate motivator for vim☆22Updated 10 years ago
- Query RFC database and download RFCs from within Vim.☆121Updated 2 years ago
- Conceal operator for haskell☆70Updated 7 years ago
- ☆75Updated 6 years ago
- A Vim plugin for looking up documentation☆302Updated last year
- Floobits plugin for NeoVim☆170Updated 4 years ago
- Per project/tree configuration plugins☆125Updated 5 months ago
- Seek makes navigating long lines effortless, acting like f but taking two characters.☆468Updated 11 years ago
- Vim plugin for generating and inserting UUIDs☆27Updated 5 years ago
- Vim built-in Racket Omnicompletion and Documentation☆13Updated 4 years ago
- Syntax highlighting for Cap'n Proto schema files☆34Updated 6 years ago
- Fork of git-time-lapse: Perforce-style for vim/neovim☆37Updated 3 years ago
- A small plugin to create named bookmarks in Vim☆33Updated 2 years ago
- TLA+/PlusCal support for Neovim☆33Updated 6 months ago
- Make it easy to share beautiful code. DISCLAIMER: This is not an official Google product.☆90Updated 6 years ago
- Vim plugin providing folding for haskell, displaying type signatures☆22Updated 5 years ago
- A vim plugin to add commands for fzy inside of vim!☆25Updated 9 years ago
- Yegappan Lakshmanan's scratch.vim plugin☆34Updated 15 years ago
- ☆53Updated 5 years ago
- visual-increment.vim - use CTRL+A/X to create increasing sequence of numbers or letters via visual mode☆158Updated 5 years ago
- A Vim graphviz plugin☆77Updated 2 years ago
- FUSE filesystem that talks the Neovim API☆80Updated 10 years ago
- Vim/Neovim debugger plugin providing a terminal interface to the Debug Adapter Protocol☆49Updated 3 years ago
- Vim/Neovim plugin for doing single, multi-patch or diff code reviews☆109Updated last year
- Vim plugin for parsing stack traces and opening the files☆291Updated 5 years ago