A local compilation path.
Kotlin compiler IR, Koral checks and C backend, Clang/LLVM, and native SBF output. The CLI supports source checks, builds, toolchain diagnosis, and local Counter execution.
Inspectable artifacts and a restricted owned ULong state model keep the initial scope concrete. Selected account operations are available in the development utility; this website walkthrough focuses on Counter.
Explore the current workflow ↗Make evaluation repeatable.
Package the developer-facing source and instructions, align examples with the documented language contract, and verify a fresh local setup. Improve diagnostics and record comparison conditions alongside results.
Publishing a website does not mean the compiler has been released. Public repository and release links will appear when an actual release exists.
Expand with evidence.
Broader account constraints, additional program operations, and more representative workloads need implementation and independent verification. General Kotlin compatibility, arbitrary CPI, and complete DEX support are still ahead.
The playground compiles approved Counter and payment examples with the existing CLI and verifies them in a local VM. Arbitrary browser-submitted source is outside this preview.
Progress without a countdown.
This roadmap describes engineering direction, not promised dates. Features become available when implemented, documented, and checked. Security audits, production readiness, adoption, and performance require their own evidence.
Start with what exists ↗