PrototypeCommon
tlaplus/PlusPy
Python interpreter for TLA+ specifications
- Owner
- tlaplus (organization)
- Stars
- Stars: 120
- Forks
- Forks: 14
- Language
- Python
- License
- MIT
- Created
- 2020
- Topics
- tlapythoninterpreter
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by tlaplus
All 7 repos by tlaplus- tlaplus/tlaplusStars: 3,168JavaRC
- tlaplus/ExamplesStars: 1,595TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- tlaplus/vscode-tlaplusStars: 440TypeScriptAlpha
- tlaplus/CommunityModulesStars: 318TLAAlpha
- tlaplus/tlapmStars: 138OCamlPrototype
Nearby in Python
All Python repos- aarsaputra/php2shellStars: 120PythonPrototype
- adhiprib/humanizer-indonesiaStars: 120PythonPrototype
- wangweihong/comfyui-costume-galleryStars: 120PythonPrototype
- henriklied/django-twitter-oauthStars: 120PythonPrototype
- rtyler/SpawningStars: 120PythonPrototype
- superfell/BeatboxStars: 120PythonPrototype