Press Run ▸ or Ctrl+Enter.
Write a contract; watch the compiler check it. Tokens, LLVM IR, contracts and diagnostics side by side.
Run and Format compile and execute on our servers in a sandboxed container. The Diagnostics and LLVM IR tabs also have an in-browser WASM preview for pure programs.
A language built to catch mistakes at compile time and fail loudly at runtime — with a playground that keeps learners moving.
Contract guards and overflow checks abort with a structured diagnostic instead of corrupting state.
Your program builds to a native binary. The first run compiles it (a few seconds); running the same code again is instant.
Interactive lessons from zero to confident, with expected-output checks. Lessons limited by known compiler bugs are clearly badged.
No signup. No payments. No ads. Just you and the code. Open source, always free.
Working with AI agents? See --ai diagnostics and the MCP server.