PrototypeCommon
kelvich/tlaplus_jupyter
Jupyter kernel for TLA⁺
- Owner
- kelvich (personal account)
- Stars
- Stars: 122
- Forks
- Forks: 10
- Language
- Python
- License
- BSD-3-Clause
- Created
- 2019
- Topics
- tlamodel-checkingjupyter-kernel
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Python
All Python repos- Bryce-border/McLottery-AlchemistStars: 122PythonPrototype
- Lico124378/macau-hidden-bitesStars: 122PythonPrototype
- BlueKnightNet/Blue-Knight-Proxy-BotHostingStars: 122PythonPrototype
- svetlyak40wt/django-fieldsStars: 122PythonPrototype
- metajack/notify-webhookStars: 122PythonPrototype
- bmander/graphserverStars: 122PythonPrototype