← Home
TLA+ Toolbox
tla+-toolbox · v1.7.4
8
8.0
IDE for TLA+
brew install --cask tla+-toolbox 66
30-day installs
248
90-day installs
676
365-day installs
Install trend
Trust Score 8/10
✓ Open source (MIT) +3
✓ Active development +2
✓ Licensed +1
✗ No auto-updates +0
✓ Not deprecated +1
✓ Established (>1yr) +1
✗ Low installs +0
Review
Mar 10, 2026TLA+ Toolbox is an integrated development environment (IDE) for TLA+, a formal specification language. It offers tools for writing, debugging, and model-checking specifications, making it essential for developers and engineers working on complex systems requiring formal verification.
Provides an IDE for writing and model-checking TLA+ specifications.
Maturity: The project is mature with active development and a strong community, as evidenced by 2637 stars and recent commits.
Community: No community discussion found yet.
Pros
- + Essential tool for formal system verification
- + Includes the TLC model checker for thorough analysis
- + Open-source with MIT license, fostering community contributions
Cons
- - No auto-update feature
- - Java-based, which may affect performance and resource usage