<!-- nytrix-doc: {"audience":"user","featured":false,"group":"overview","order":0,"summary":"A statically typed native language with explicit machine boundaries."} -->

Think freely.

Native · Portable · Explicit · Comptime · Ownership · Interop · Batteries

<!-- overview:quick-start -->

<div class="quick-start-list">

<div><b><img class="ico ico-xs ico-wrench" src="assets/website/svg/wrench.svg" alt="">Build</b><code>./make</code></div>

<div><b><img class="ico ico-xs ico-play" src="assets/website/svg/play.svg" alt="">Run</b><code>ny hello.ny</code></div>

<div><b><img class="ico ico-xs ico-terminal" src="assets/website/svg/terminal.svg" alt="">REPL</b><code>ny</code></div>

<div><b><img class="ico ico-xs ico-check" src="assets/website/svg/check.svg" alt="">Format</b><code>ny fmt file.ny</code></div>

<div><b><img class="ico ico-xs ico-search" src="assets/website/svg/search.svg" alt="">Symbols</b><code>ny doc search --symbols print</code></div>

<div><b><img class="ico ico-xs ico-new" src="assets/website/svg/new.svg" alt="">New</b><code>ny new app</code></div>

</div>

<!-- overview:body -->

> Concise by default, explicit at boundaries, and precise when control matters, with abstractions that stay transparent, guarantees checked rather than assumed, and the machine always within reach.

<!-- overview:cards {"kind":"learn","title":"Learn","summary":"Build and run a program, then choose a focused workflow."} -->

<!-- overview:cards {"kind":"spec","title":"Specification","summary":"Exact language behavior, grammar, and diagnostics."} -->

<!-- overview:cards {"kind":"project","title":"Project","summary":"Release notes and tracked public work."} -->

<!-- overview:cards {"kind":"reference","title":"Reference","summary":"Source-linked standard-library entry points."} -->