SleyA typed function. The kernel checks it, then the VM runs it and reports the exact fuel it used.
Sley 2.1.7 in your browser
Sley Playground
Write typed Python. The released Sley kernel checks it and the Sley VM runs it right here, with exact fuel and instruction counts. Nothing to install, and your code never leaves the page.
What runs here
The released compiler and VM
The playground is the sley_agent::embed API from Sley 2.1.7, compiled to WebAssembly. It takes the same path as sley-agent try --familiar: the text becomes a typed candidate, the kernel judges it, and only a Valid program runs.
Exact, every time
Deterministic results
Fuel and instruction counts are exact VM counts, the same in your browser as from the sley-agent binary. A source always compiles to the same program digest. Integers are checked: overflow traps instead of wrapping.
Next steps
Take it further
Install sley-agent with the Quickstart to add inline tests, commit programs and keep verified history. Embed the same engine in a Rust or WebAssembly host with the embedding guide. Source: github.com/sley-lang/sley.