PrototypeCommune
will62794/spectacle
Interactive playground for exploring and sharing TLA+ specifications in the browser.
- Propriétaire
- will62794 (compte personnel)
- Étoiles
- Étoiles : 226
- Forks
- Forks : 16
- Langage
- JavaScript
- Licence
- MIT
- Création
- 2021
- Sujets
- tlaplusverificationmodel-checkingtlaformal-methodsformal-specificationvisualization
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts JavaScript
Tous les dépôts JavaScript- avaritiachaos/qoder-proxyÉtoiles : 226JavaScriptPrototype
- yeet-src/httpinspectÉtoiles : 226JavaScriptPrototype
- saaranshM/unsnoozeÉtoiles : 226JavaScriptPrototype
- tristandunn/jquery-auto-geocoderÉtoiles : 226JavaScriptPrototype
- lorenzos/ZenCodingNetBeansPluginÉtoiles : 226JavaScriptPrototype
- snikch/jquery.dirtyformsÉtoiles : 226JavaScriptPrototype