Vim filetype for the TLA+ specification language and proofs
☆22Jun 25, 2021Updated 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:
- RFCs for changes to the TLA+ specification language☆11Mar 19, 2025Updated 11 months ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- Neovim frontend for Jujutsu in the style of vim-fugitive☆43Feb 25, 2026Updated last week
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- Vim quickfix editing☆24Oct 16, 2018Updated 7 years ago
- Vim plugin for TLA+ and PlusCal☆29Feb 3, 2025Updated last year
- Plugin to create and use a scratch Vim buffer☆34Oct 18, 2010Updated 15 years ago
- Send commands or data to other terminals☆34Jul 25, 2016Updated 9 years ago
- Create prompts fast and easy☆40Nov 11, 2021Updated 4 years ago
- Machine Learning project to identify Japanese characters (hiragana) from a data set.☆14Nov 24, 2018Updated 7 years ago
- ☆32Sep 11, 2019Updated 6 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- simple native XQuery processing module using xqilla.☆11Mar 24, 2012Updated 13 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated 2 weeks ago
- MultiPath TCP port to the Raspberry Pi - This repository may not always be up-to-date with the latest mptcp_trunk from https://github.co…☆12Dec 12, 2012Updated 13 years ago
- Voltalis to Home Assistant bridge☆10Oct 5, 2025Updated 4 months ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- View PR, related to line under cursor, in web browser.☆14Jan 18, 2026Updated last month
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆195Dec 17, 2025Updated 2 months ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- Adds parameter validation and error control to interactor☆10Aug 4, 2025Updated 7 months ago
- Caddy gives you an auto-updating global cache to speed up your web requests.☆12Sep 13, 2016Updated 9 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- ⚡A curated list of awesome resources related to the Optimism ecosystem ⛓☆11Jul 9, 2024Updated last year
- Vim syntax highlighting for the smart contract programming language Vyper☆12Oct 24, 2019Updated 6 years ago
- Yegappan Lakshmanan's scratch.vim plugin☆34Mar 16, 2010Updated 15 years ago
- A small tool to help check NAT issues☆12Dec 4, 2018Updated 7 years ago
- "Simulator" with instruction tracing and deterministic timing for x86 programs☆11Nov 17, 2022Updated 3 years ago
- Automatic support of PROXY PROXYv2 and TLS support on TCP streams☆12Dec 28, 2025Updated 2 months ago
- ☆11May 27, 2017Updated 8 years ago
- a cli tool for converting time between timezones☆11Mar 14, 2020Updated 5 years ago
- Hard Real-Time world-wide clock synchronization utilizing new better algorithms than PTP and NTP uses.☆14Jan 4, 2016Updated 10 years ago
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- emulate siri traffic with iperf, with mptcp support☆10Feb 16, 2018Updated 8 years ago
- A research project to use WebAuthn with Account Abstraction (ERC 4337)☆10Jul 16, 2024Updated last year
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- A bot that watches a website or GitHub assets for changes and communicates them to Slack.☆11Apr 5, 2019Updated 6 years ago
- Configuration files I use.☆13Jun 14, 2024Updated last year