Available today
NAUX Learn 0.1.4
A bounded Linux x86-64 learning profile for writing and running deterministic .nx programs without installing Rust or Cargo.
Install the learning profileProject status
What NAUX is right now
The public learning language and the research compiler share one project, but they make different promises.
Active research
Proof-gated compilation
Typed semantics, partial evaluation, checked lowering, and a self-owned x86-64 path are developed behind reproducible evidence gates.
Inspect the architectureBoundary
Experimental, not production
NAUX does not yet promise stable compatibility, dependency closure, security-critical suitability, or performance leadership.
Review the source and evidence