PrototypeCommon
pmer/tla-bin
Command line binaries for the TLA+ language
- Owner
- pmer (personal account)
- Stars
- Stars: 173
- Forks
- Forks: 26
- Language
- Shell
- License
- MIT
- Created
- 2017
- Topics
- tlaspecificationmodel-checkingverificationmit-license
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Shell
All Shell repos- hwdsl2/self-hosted-ai-stackStars: 173ShellPrototype
- djparentx/dArkOSen-R36SStars: 173ShellPrototype
- SuchanMadhikarmi/kubernetes-zero-to-productionStars: 173ShellPrototype
- lowendbox/lowendscriptStars: 173ShellPrototype
- cmaitchison/git_dietStars: 173ShellPrototype
- beagleboard/kernelStars: 173ShellPrototype