A reactive, functional language for native Linux desktop apps

Learn AIVI through one practical app, solve common problems with focused guides, look up the exact surface when you need it, and understand the philosophy behind the language.

Start with the tutorial

Solve a task

Look up the reference

Understand AIVI

Standard Library

Start with one real app

The learning path starts with a small task tracker instead of scattered syntax facts, so you meet values, types, signals, events, and GTK in one coherent story.

Friendly if FP is new to you

The docs explain the shift from variables to values, from loops to collection combinators, and from callbacks to signals in plain language.

Reactivity is built into the language

Signals are language primitives, not a framework add-on. You declare relationships once and the runtime keeps the graph up to date.

Native GTK, not a web wrapper

AIVI targets GTK4 and libadwaita directly, with type-checked widget properties and a Linux-desktop-first runtime model.

Pipes make data flow visible

Instead of hiding control flow inside nested calls and mutable state, AIVI puts transformations, matches, and accumulation directly in the source.

Reference when you need certainty

Tutorials teach, how-to guides solve, explanation pages orient, and the reference pages stay conservative about what the compiler and runtime actually ship today.