PrototypeCommon
will62794/spectacle
Interactive playground for exploring and sharing TLA+ specifications in the browser.
- Owner
- will62794 (personal account)
- Stars
- Stars: 226
- Forks
- Forks: 16
- Language
- JavaScript
- License
- MIT
- Created
- 2021
- Topics
- tlaplusverificationmodel-checkingtlaformal-methodsformal-specificationvisualization
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in JavaScript
All JavaScript repos- avaritiachaos/qoder-proxyStars: 226JavaScriptPrototype
- yeet-src/httpinspectStars: 226JavaScriptPrototype
- saaranshM/unsnoozeStars: 226JavaScriptPrototype
- tristandunn/jquery-auto-geocoderStars: 226JavaScriptPrototype
- lorenzos/ZenCodingNetBeansPluginStars: 226JavaScriptPrototype
- snikch/jquery.dirtyformsStars: 226JavaScriptPrototype