will62794/spectacle
View on GitHub ↗ ★ 228 JavaScript
Interactive playground for exploring and sharing TLA+ specifications in the browser.
3 mentions on Hacker News by 2 people: 3 stories, 0 comments · first 2025-02-22 · latest 2026-09-10
20082026
-
▲ 2
Spectacle – A browser-native playground for TLA+story by we6251 · 2026-09-10 · 0 comments
-
▲ 12
Interactive, Time-Travel Debugger for TLA+story by jwww55556 · 2025-06-19 · 0 comments
-
▲ 5
Spectacle: Interactive tool for exploring and visualizing formal specificationsstory by we6251 · 2025-02-22 · 0 comments