VMKit / Nava

A simply minimal programming language for the future

Why Nava?

In a world where new hyped language compilers and runtime std libraries are implemented in 4GB of sources, it's time for a reset.

At the foundation is Nýr, a portable micro-IR (µIR) designed for efficient and flexible code generation across RISC and CISC CPU ISAs. Built on top of Nýr is Nova, a new minimal high-level language that embraces modern programming principles. Together, Nýr and Nova represent a bold step toward a leaner, more elegant future in software development.

Nava isn't just a language it's a philosophy: that the complexity of modern systems is not a necessity but a choice. Nava chooses minimalism, portability and readability.

// Hello World in Nava

fn main()
  print("Hello, world!")

Minimal

It’s minimal — the compiler, written in Nava itself, is tiny, self-contained, and bootstraps in seconds. No LLVM. No multi-gigabyte SDKs. Just the essentials, from source to binary, in one consistent system.

Readable

It’s readable — designed to be written and understood by humans first. The syntax is clean and consistent. There are no macros, no hidden control flow, and no magic behavior. Code looks like what it does — and does what it looks like.

Fast

The Nýr µIR is designed to be fast, portable and supports native AOT and JIT code generation for instant feedback and performance. Programs start instantly and run with predictable efficiency.

Composable

It’s composable — everything from functions to modules to build units is designed to scale from small scripts to large systems, without becoming tangled or obscure. Pure functions and immutable data structures are the default, making reasoning, testing, and refactoring easy.