Silk
High performance language with formal verification built in.
Silk is a high performance general purpose programming language with formal verification built in. Silk targets computer systems, mobile / tablet devices, WASM / WASI runtimes, and the web.
Hello world
Guide
import std::io::println;
fn main () -> int {
println("hello from silk");
return 0;
}silk check hello.slk
silk test hello.slk
silk build hello.slk -o build/helloStart
A short path into the language, toolchain, and canonical references.
Getting started
Install, build, and run your first program.
What Silk is for
Design goals, constraints, and where Silk fits.
Hello world
A minimal program and the toolchain workflow.
Standard library
What’s included and how the library is organized.
CLI
silk commands for check, test, build, and tooling.Specification (2026)
Reader-focused spec view with a searchable ToC.
Wiki
Learning-first explanations, design notes, and cross-links.