will62794/spectacle
Interactive playground for exploring and sharing TLA+ specifications in the browser.
12 best points · 0 comments · 3 Hacker News posts · 227 GitHub stars · View on GitHub
Hacker News discussions
- Interactive, Time-Travel Debugger for TLA+ (12 points, 0 comments, by jwww55556, 2025-06-19)
- Spectacle: Interactive tool for exploring and visualizing formal specifications (5 points, 0 comments, by we6251, 2025-02-22)
- Spectacle – A browser-native playground for TLA+ (2 points, 0 comments, by we6251, 2026-09-10)