Programming language

Tyu

A small, statically typed, concatenative systems language. Programs are built from words that transform a data stack — and nearly everything written down about a word is a machine-checked claim, not a comment.

Safety is not the brake — it’s the engine. The rigor is what licenses the daring parts.

Assembling in Tyu, Chapter 1 — The Rigor Is the Engine

Tyu Toolchain draft v3September 2026Changelog

From source

git clone https://github.com/lexbity/tyu.git
cd tyu_lang
cargo build --release -p langc -p tyu -p lmod-pack -p lmod-sign -p lmod-encrypt
export PATH="$PWD/target/release:$PATH"

Prebuilt binaries are not published yet; the toolchain is built from source. See Appendix C — Toolchain Setup for the full procedure, the hosted and QEMU tracks, and tyu.toml project manifests.

The built-in words, lexical syntax, types, declarations, and contracts.