A statically-typed language designed so AI agents can write correct, maintainable code — with a compiler written by AI agents.
Explicit ownership, explicit errors, explicit mutability, no hidden effects, one
obvious way to do things. Open any one .pr file and you know what it does.
Native LLVM compilation to Linux, macOS, Windows, and WASM.
promise — the language and compiler. Start here. zoo — programs agents built in Promise, each with the prompt, the code, an honest writeup, and a recording. reactor — the orchestrator being built, and the Bounded-Autonomy Software Engineering white paper.
The compiler works end-to-end and its test suite gates every commit across all four targets. It also still crashes, the standard library is thin, and there is one maintainer directing the agents. Not for production. Try it and file what breaks.
That an AI agent, with limited human oversight, can build large, complex, high-quality software you maintain for years — not throwaway snippets. The compiler is the first evidence. Whether agents can build genuinely complex things on Promise is the open experiment, and the Zoo is where it runs.
Developed by Promise Lang LLC. Everything ships under both the Apache License, Version 2.0 and the MIT License. Sponsor the project →
