NAUX documentation

Build your first NAUX program.

Start with the small NAUX Learn profile, then move into the language reference or compiler internals only when you need them.

Start here

1
Install NAUX Learn
Use the supported installer and verify the installed version.
Installation →
2
Write a first program
Learn source files, output, variables, and the run command.
First program →
3
Practice an algorithm
Use loops, functions, arrays, input, and deterministic output.
Algorithms →

Choose a path

I want to learn the language

Follow the tutorial in order, then keep the Learn quick reference open while solving exercises.

Open the tutorial →

I want exact language rules

Use the versioned quick reference for Learn or the broader specification for research surfaces.

Open the quick reference →

I want to inspect the compiler

Read Typed Core, specialization, native-code, verification, and evidence contracts.

Open compiler internals →

Documentation map

Tutorial: Task-oriented lessons for installing, writing, running, and debugging programs.
Reference: Precise syntax, semantics, limits, and versioned compiler contracts.
ADRs: All 85 accepted decisions, grouped into semantics, specialization, native, sovereignty, and dependency phases.
Examples: Eight representative algorithms backed by the 30-exercise learner corpus.
Benchmarks: Raw observations, environment, variance, checksums, execution certificates, and claim blockers.

Know the current boundary

The released Learn profile and the research compiler make different promises. Check project status before relying on a feature, and use the scope roadmap to understand what later NAUX profiles are intended to establish.