spectacle

spectacle

will62794

Interactive playground for exploring and sharing TLA+ specifications in the browser.

201 Stars
15 Forks
201 Watchers
JavaScript Language
mit License
100 SrcLog Score
Cost to Build
$1.67M
Market Value
$5.12M

Growth over time

3 data points  ·  2026-04-12 → 2026-04-26
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about spectacle

Question copied to clipboard

What is the will62794/spectacle GitHub project? Description: "Interactive playground for exploring and sharing TLA+ specifications in the browser.". Written in JavaScript. 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 spectacle

Clone via HTTPS

git clone https://github.com/will62794/spectacle.git

Clone via SSH

[email protected]:will62794/spectacle.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the spectacle issue tracker:

Open GitHub Issues