Vim filetype for the TLA+ specification language and proofs
☆24Jun 25, 2021Updated 5 years ago
Alternatives and similar repositories for vim-tla
Users that are interested in vim-tla are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Vim plugin for TLA+ and PlusCal☆30Feb 3, 2025Updated last year
- RFCs for changes to the TLA+ specification language☆12Sep 22, 2026Updated last month
- Protocols made fun: Igor's blog☆11Sep 21, 2026Updated last month
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Tiny executable techniques for dealing with emoji☆22Apr 4, 2021Updated 5 years ago
- A cross-platform implementation of Dirman in Rust.☆11Jul 31, 2023Updated 3 years ago
- Nix overlay for Cairo☆11May 8, 2024Updated 2 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated 2 years ago
- Distributed algorithms in Lean 4☆21Jul 28, 2026Updated 3 months ago
- Byzantine model checker☆21Mar 7, 2023Updated 3 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- Verification-Driven Development☆21Mar 26, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A pretty printing library☆25Jan 6, 2019Updated 7 years ago
- Vim quickfix editing☆24Oct 16, 2018Updated 8 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 4 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆213Dec 17, 2025Updated 10 months ago
- Like Playwright, but for Neovim☆14Jun 18, 2026Updated 4 months ago
- epoll(7) binding in Ruby☆22Jan 6, 2015Updated 11 years ago
- My Vim setup☆10Mar 12, 2016Updated 10 years ago
- EEx grammar for Tree-sitter☆10Nov 1, 2023Updated 3 years ago
- Automatic support of PROXY PROXYv2 and TLS support on TCP streams☆13Dec 28, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Command line tool interface for Fury.js☆12Jan 11, 2019Updated 7 years ago
- Functional builders for vecty elements (not maintained right now)☆10Nov 7, 2019Updated 6 years ago
- Language server linting support for Elm using elm-analyse☆11Feb 11, 2022Updated 4 years ago
- A Fucking Fast Slack Data Model☆10Apr 16, 2017Updated 9 years ago
- Completion source using wezterm for blink.cmp☆12Jun 26, 2025Updated last year
- Dotfiles for macOS and Windows☆11Oct 29, 2026Updated last week
- Go bindings for creating BPF programs.☆13Jul 2, 2021Updated 5 years ago
- Everything just the way I like it.☆10Sep 26, 2026Updated last month
- blinds.nvim emphasizes the current window by shading the non-active windows☆13Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- simple native XQuery processing module using xqilla.☆11Mar 24, 2012Updated 14 years ago
- Sentinel language syntax highlighting for vim☆10May 11, 2026Updated 5 months ago
- Command line tool to retry other commands with an exponential backoff.☆12Oct 3, 2025Updated last year
- Alternative image providers for neovim.☆12May 4, 2026Updated 6 months ago
- ☆12Feb 25, 2023Updated 3 years ago
- Create prompts fast and easy☆40Nov 11, 2021Updated 4 years ago
- A dead-simple Claude interface as Neovim plugin.☆12May 25, 2026Updated 5 months ago