Name		Name	Last commit message	Last commit date
.github		.github
.husky		.husky
.vscode		.vscode
assets		assets
components		components
data		data
islands		islands
routes		routes
static		static
tests/e2e		tests/e2e
utils		utils
.env.example		.env.example
.gitignore		.gitignore
Dockerfile		Dockerfile
README.md		README.md
client.ts		client.ts
deno.jsonc		deno.jsonc
deno.lock		deno.lock
main.ts		main.ts
tailwind.config.ts		tailwind.config.ts
utils.ts		utils.ts
vite.config.ts		vite.config.ts

Repository files navigation

tla-playground

Usage

Start Apalache server:

apalache server

Serve the playground frontend:

APALACHE_ENDPOINT=localhost:8822 deno task start

About

Online playground for TLA+

tla.rnbguy.deno.net

deno fresh tlaplus

6 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages