40 Open source projects that are alternatives of or similar to tla-tools

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Fixed and automatic balanced window layout for Emacs

Live coding in Python with PyCharm, Emacs, Sublime Text, or even a browser

F# Emacs mode

OrgMsg is a GNU/Emacs global minor mode mixing up Org mode and Message mode to compose and reply to emails in a Outlook HTML friendly style.

Emacs integration for PureScript's psc-ide tool.

The official solidity-mode for EMACS

An Emacs mode for GraphQL

Subtitle editor for Emacs

Emacs major mode for editing jq queries.

webpaste.el can paste whole buffers or parts of buffers to several pastebin-like services and supports failover if one service fails.

Modal editing minor mode for Emacs

Emacs API Blueprint major mode

A collection of Clojure refactoring functions for Emacs

Nyan Cat for Emacs! Nyanyanyanyanyanyanyanyanyan!

Deft for Emacs

Minor mode for Emacs to improve English writing

Emacs support for Apple's Swift programming language.

PDFGrep is a GNU/Emacs module providing grep comparable facilities but for PDF files

GNU/Emacs mode that setup local Go playground for code snippets like play.golang.org or even better :)

A bunch of easy to set up stats for the Emacs mode-line.

Pug support for Emacs, based on slim-mode.

An Emacs major mode for MIPS assembly code

🎸 An Emacs minor mode for editing shell script.

map pairs of sequentially pressed keys to commands

A GNU Emacs major mode for editing BNF grammars

Subtitle editor for Emacs

🌻 An Emacs major mode for the V programming language.

Emacs minor mode that automatically demangles C++, D, and Rust symbols

A tabulated process environment editor

A groovy major mode, grails minor mode, and a groovy inferior mode.

TLA+ language support for Visual Studio Code

Specifying and Verifying CRDT Protocols using TLA+

A tree-sitter grammar for TLA+

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

Convert TLA+ output (and values) into JSON

A script for running TLA+/TLC from the command line

Different TLA+ specifications, mostly for learning purposes

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

A static web application to explore and animate a TLA+ state graph.