Loading Pyodide…
The real revl compiler — checker, auditor, planner — and the cordis-py runtime are being installed into your browser. First load fetches ~10 MB and is cached; nothing you type ever leaves this page.
revl
The idea
Guarantees
Agents
built in revl · runs in your browser
GitHub
example
Check ▸
▶ Boot
⌘/Ctrl + Enter
Loading the compiler…
live
⇄ Swap
■ Unload
Diagnostics
G8 audit
Plan
IR