hwayne / tla.vimLinks
Vim plugin for TLA+ and PlusCal
☆29Updated last year
Alternatives and similar repositories for tla.vim
Users that are interested in tla.vim are comparing it to the libraries listed below
Sorting:
- A tree-sitter grammar for TLA⁺ and PlusCal☆73Updated 2 weeks ago
- A command-line code search tool based on Tree-sitter☆38Updated 7 years ago
- Command line editor, C api, readline replacement☆28Updated last year
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Updated 5 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆125Updated 2 years ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆244Updated 3 weeks ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- ☆19Updated 4 years ago
- A syntax checker for TOML files☆28Updated 6 years ago
- Vim filetype for the TLA+ specification language and proofs☆22Updated 4 years ago
- Vim plugin to take back the quickfix window☆53Updated 6 years ago
- dynamic regular expression print☆89Updated 3 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- #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
- A static parser for POSIX Shell☆200Updated 2 years ago
- ☆34Updated 2 years ago
- Tool to count lines of source code.☆254Updated 2 years ago
- 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
- A Rust toolkit to combine property-based testing and fuzzing.☆137Updated 3 years ago
- Some vimgolfs challenges and along with Kakoune solutions☆145Updated last year
- Brainfuck with Actors☆36Updated 7 years ago
- Noether programming language☆130Updated 8 years ago
- Vim built-in Racket Omnicompletion and Documentation☆13Updated 4 years ago
- A Formal Semantics of WebAssembly in K☆85Updated this week
- Vim plugin for the Literate programming tool☆38Updated 6 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- A sample Rust+Nix project for a blogpost☆29Updated 5 years ago