lume

Lume — the AI-first programming language

Written by AI, proven by the compiler, reviewed by humans. Lume self-hosts with no C in the loop (stage 2 == stage 3, bit-identical), carries a sound QF_LIA proof engine so contracts can be proven and their runtime guards elided, and treats correctness as something the machine demonstrates, not something you hope for.

Honest status. Early and pre-1.0. The compiler, Phases 1–5 (ownership, effects, concurrency, contracts/proofs, AI-numerics, systems/interop), the inflection (the compiler dogfooding its own features) and P33 software protection are implemented and self-hosting. Release archives are published and run-verified for Linux x86-64/AArch64/RISC-V, macOS AArch64/x86-64, and Windows x86-64. Additional target, hardware, and language work remains open; some capabilities are explicitly labelled models. See the open issues for exactly what is shipped vs. planned.

Start here

README — overview, the eleven pillars, a taste, quickstart.
05 — Vision · 02 — Principles (P1–P35) · 03 — Specification
08 — AI-first — why the primary user is a model, not a person.

How it builds itself

11 — Self-hosting plan · 14 — Zero-C · 04 — Roadmap (Stages 0–5)

The capabilities

16 — Phase 3 plan (ownership, effects, concurrency, verification)
21 — Inflection (the compiler dogfoods its own contracts/effects/Perceus)
24 — Phase 4 plan (tensors, autodiff, prob, rules, llm) · 25 — Phase 5 plan (systems, interop, realtime, lume-os)
06 — Software protection (P33 anti-reverse-engineering)

For AI authors

32 — Build real software in Lume (onboarding for any AI) · 30 — The Lume Book · 08 — AI-first

Build order

29 — Worklist execution order — the ordered open backlog (agy’s sequence).

The north star

Reference

00 — Catalog of ~260 languages · 01 — Survey · 07 — Competitive scan

Dual-licensed MIT OR Apache-2.0. Contributions: see AGENTS.md and CONTRIBUTING.md.

The plan to build anything

This site is open source. Improve this page.