Install Topaz with one line: curl -fsSL https://topaz.ooo/install.sh | sh, or npm install -g topaz-lang. You can also try it in the browser playground.
Lexer & layoutavailableUnicode-first lexer, layout normalizer; conformance suites green on every change.
ParseravailableThe compiler corpus and every fence on this site parse-checked continuously.
Module resolveravailableMulti-file units: paths, collisions, cycles, visibility, initialization order (TPZ3xxx pinned by fixtures).
InterpreteravailableThe reference semantics: execution corpus with pinned transcripts; every runnable sample on this site goes through it.
Type checkeravailabletopaz check types a whole unit by default; the runtime "dynamic guards" (TPZ5xxx) graduate to static diagnostics.
Rust backendavailabletopaz emit / topaz build lower a program to a self-contained native binary, differential-tested against the interpreter.
Python backendavailableA server and data design-verification backend. The toolchain writes program.py and topaz_py_rt.py, then the measured-surface proof checks generated Python against the interpreter and Rust paths across the exercised suite, including runtime guards and module initialization where covered.
DistributionavailableInstall with curl -fsSL https://topaz.ooo/install.sh | sh or npm install -g topaz-lang; prebuilt binaries for macOS, Linux, and Windows. run/check/emit are standalone; topaz build needs a Rust toolchain.
Language featuresavailableUser enums (nominal closed sums with payload variants and exhaustive match), JSON.parse with accessor methods, higher-order functions (map/filter/reduce/flatMap on Array/Option/Result), and expected-type inference. Interpreter and emission both cover them.
How this site is verified
Canonical topaz fences are parser-checked (530 on this site); examples marked runnable (40) are executed against the toolchain with their printed output pinned byte-for-byte, and every displayed output block (24) must match a captured run. The private working ledger stays private. This page publishes the counts, the categories, and the exclusions (currently none).
Python backend measured-surface proof
The public measured-surface proof records the release evidence for the Python backend. It pins 5939 ATLAS line-breaker cases, 772 Python core fixtures, 116 module fixtures, and 4 server-contract cases, comparing interpreter, boxed-rust, generated-python. The measured sweep spans 6870 cases with 0 silent divergences; 27 unsupported cases decline loudly instead of running. This is a detection receipt for the measured surface; a completeness claim over everything the checker accepts is out of scope. This release excludes compression codecs, live Wasm extern execution, physical multi-file Python package layout, float extern replay.
Current release: Topaz v5.5.