tla-tools

mrc

TLA+ tools for Emacs

emacs

View on GitHub

23 Stars

6 Forks

23 Watchers

Emacs Lisp Language

gpl-3.0 License

Cost to Build

$3.5K

Market Value

$4.0K

How is this calculated?

Growth over time

1 data points · 2022-02-02 → 2022-02-02

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about tla-tools

Question copied to clipboard

What is the mrc/tla-tools GitHub project? Description: "TLA+ tools for Emacs". Written in Emacs Lisp. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone tla-tools

Clone via HTTPS

git clone https://github.com/mrc/tla-tools.git

Clone via SSH

[email protected]:mrc/tla-tools.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the tla-tools issue tracker:

Open GitHub Issues

Similar to tla-tools

spacemacs dracula-theme awesome-emacs magit cider remacs projectile helm use-package know-your-http-well flycheck doomemacs Spacemacs-rocks smartparens slime merlin intero lsp-mode Indium irony-mode dumb-jump org-brain emacs-anywhere emacs-document tide sx.el emacs-slack emacs-which-key clj-refactor.el all-the-icons.el