Alternatives and similar repositories for tla.vim

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

• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆73Updated 2 weeks ago
• maxbrunsfeld / tree-tags
  A command-line code search tool based on Tree-sitter
  ☆38Updated 7 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆28Updated last year
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆244Updated 3 weeks ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• leanprover / lean.vim
  ☆19Updated 4 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 6 years ago
• florentc / vim-tla
  Vim filetype for the TLA+ specification language and proofs
  ☆22Updated 4 years ago
• JoshMcguigan / estream
  Vim plugin to take back the quickfix window
  ☆53Updated 6 years ago
• maxpert / drep
  dynamic regular expression print
  ☆89Updated 3 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 4 months ago
• HerringtonDarkholme / auto-fu.zsh
  #zsh automatic complete-word and list-choices. Originally incr-0.2.zsh by y.fujii <y-fujii at mimosa-pudica.net>
  ☆13Updated 9 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆200Updated 2 years ago
• zaitsev85 / message-from-space
  ☆34Updated 2 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆254Updated 2 years ago
• droundy / fac
  Fac is a general-purpose build system that runs on Linux only, which automatically tracks dependencies by observing the build commands in…
  ☆78Updated 3 years ago
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆137Updated 3 years ago
• mawww / golf
  Some vimgolfs challenges and along with Kakoune solutions
  ☆145Updated last year
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 7 years ago
• noether-lang / noether
  Noether programming language
  ☆130Updated 8 years ago
• MicahElliott / vrod
  Vim built-in Racket Omnicompletion and Documentation
  ☆13Updated 4 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆85Updated this week
• zyedidia / literate.vim
  Vim plugin for the Literate programming tool
  ☆38Updated 6 years ago
• mikhail-m1 / linux-perf-file-reader
  Library for parse perf.data file from Linux perf tool for Rust
  ☆18Updated 5 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• Xe / helloworld
  A sample Rust+Nix project for a blogpost
  ☆29Updated 5 years ago