https://github.com/rnbguy/tla-playground
Online playground for TLA+
https://github.com/rnbguy/tla-playground
deno fresh tlaplus
Last synced: about 1 year ago
JSON representation
Online playground for TLA+
- Host: GitHub
- URL: https://github.com/rnbguy/tla-playground
- Owner: rnbguy
- Created: 2023-03-01T11:08:04.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2024-11-29T19:57:04.000Z (over 1 year ago)
- Last Synced: 2025-04-02T04:56:27.844Z (about 1 year ago)
- Topics: deno, fresh, tlaplus
- Language: TypeScript
- Homepage: https://tla.deno.dev
- Size: 116 KB
- Stars: 5
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# tla-playground
### Usage
Start Apalache server:
```
apalache server
```
Serve the playground frontend:
```
APALACHE_ENDPOINT=localhost:8822 deno task start
```