Silk Documentation

Silk compiles native programs and libraries, with formal verification built into the language.

Start with an order#

Build an order calculator, then plan packing, share pricing rules, and handle a delivery choice. Each chapter gives you a result to run and check.

Need the toolchain first? Follow setup.

Take the next step#

Extract a reusable module, use the standard library, or validate CLI input and prove a function contract.

For host integration, start with embedding Silk. For device work, see the CPU/GPU walkthrough.

Look up a detail#

Use the language specification, standard library reference, or CLI. The targets and capabilities lists target-specific behavior.