Spectacle – A browser-native playground for TLA+

Spectacle is a browser-native playground for TLA+ that lets you write and test specifications instantly without installing tooling. Adopt it by linking the repo