PrototypeCommon
afonsonf/tlaplus-graph-explorer
A static web application to explore and animate a TLA+ state graph.
- Owner
- afonsonf (personal account)
- Stars
- Stars: 200
- Forks
- Forks: 2
- Language
- JavaScript
- License
- MIT
- Created
- 2021
- Topics
- tlaplusjavascript
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in JavaScript
All JavaScript repos- agegr/mindmap-pptStars: 200JavaScriptPrototype
- ankitbaghel01/wellfound_autoApplyStars: 200JavaScriptPrototype
- ChisaAlter/WhaleIsleStars: 200JavaScriptPrototype
- aaronrussell-x/jquery-simply-countableStars: 200JavaScriptPrototype
- jeremys/Simple-Rest-Client-Chrome-ExtensionStars: 200JavaScriptPrototype
- jeremyfry/PikaChooseStars: 200JavaScriptPrototype