Kio is a statically typed, embeddable programming language that compiles to eight host languages including JavaScript, Python, and Rust. Packages declare typed contracts with their host, enabling portable code that emits idiomatic output without requiring a separate runtime. The language features a small composable core, library-defined control structures, and tooling including a fast typechecker, LSP, and browser-based REPL.