← All repos

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