Alternatives and similar repositories for vim-tla:

Users that are interested in vim-tla are comparing it to the libraries listed below

• hwayne / tla.vim
  Vim plugin for TLA+ and PlusCal
  ☆29Updated 2 weeks ago
• thirtythreeforty / lessspace.vim
  Better whitespace stripping for Vim
  ☆70Updated 2 years ago
• Dkendal / fzy-vim
  A vim plugin to add commands for fzy inside of vim!
  ☆25Updated 8 years ago
• fmoralesc / nlanguagetool.nvim
  ☆11Updated 6 years ago
• jtdowney / vimux-cargo
  Run cargo commands in vim
  ☆24Updated last year
• cstrahan / vim-capnp
  Syntax highlighting for Cap'n Proto schema files
  ☆34Updated 5 years ago
• junkblocker / git-time-lapse
  Fork of git-time-lapse: Perforce-style for vim/neovim
  ☆34Updated 2 years ago
• JoshMcguigan / estream
  Vim plugin to take back the quickfix window
  ☆54Updated 5 years ago
• brettanomyces / nvim-editcommand
  Edit terminal command within current Neovim instance
  ☆27Updated 5 years ago
• dalance / ptags
  A parallel universal-ctags wrapper for git repository
  ☆129Updated this week
• gilligan / nix-neovim-nightly
  nix packaging of neovim-nightly
  ☆9Updated 5 years ago
• mihaifm / bufstop
  Fast and efficient buffer switching for Vim
  ☆95Updated 5 months ago
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 6 years ago
• rbong / vim-buffest
  Edit vim registers/macros and lists as buffers.
  ☆31Updated last year
• liuchengxu / graphviz.vim
  A Vim graphviz plugin
  ☆70Updated last year
• maxbrunsfeld / tree-tags
  A command-line code search tool based on Tree-sitter
  ☆37Updated 6 years ago
• MicahElliott / vrod
  Vim built-in Racket Omnicompletion and Documentation
  ☆13Updated 3 years ago
• gorkunov / smartpairs.vim
  Enchanted visual (selection) mode for Vim
  ☆172Updated 7 years ago
• hardenedapple / vsh
  Store and replay shell sessions -- also output search/modification/undo/redo.
  ☆23Updated 2 months ago
• mhinz / vim-rfc
  Query RFC database and download RFCs from within Vim.
  ☆111Updated last year
• inkarkat / vim-SyntaxRange
  Define a different filetype syntax on regions of a buffer.
  ☆92Updated 3 months ago
• Twinside / vim-haskellConceal
  Conceal operator for haskell
  ☆70Updated 6 years ago
• roxma / vim-syntax-compl-pop
  ☆8Updated 8 years ago
• ocaml / vim-ocaml
  Vim runtime files for OCaml
  ☆84Updated 7 months ago
• zchee / clang-server
  A C/C++ AST index server using libclang and flatbuffers written in Go
  ☆87Updated 7 years ago
• sk1418 / Join
  a better (hopefully) :Join command in vim
  ☆80Updated 7 years ago
• neoclide / vim-node-rpc
  Make vim behavior like neovim rpc server by use node server in the middle.
  ☆62Updated 2 years ago
• susliko / tla.nvim
  TLA+/PlusCal support for Neovim
  ☆25Updated 7 months ago
• ripxorip / bolt.nvim
  ⚡ Ultrafast multi-pane file manager for Neovim with fuzzy matching
  ☆108Updated 4 years ago
• MarcWeber / vim-addon-nix
  some scripts assisting wirting .nix files
  ☆25Updated 7 years ago