AILANG: The Deterministic Language for AI Coders
Example status
Third-party verification. AILANG is written autonomously by AI agents via its own coordinator. The badges above are independent static-analysis and supply-chain scores — not self-reported. Live correctness signal: the benchmark dashboard runs 33 benchmarks across 8 frontier models on every release.
AILANG is a purely functional, effect-typed language designed as a deterministic execution substrate for AI-generated code. Every construct has deterministic semantics that can be reflected, verified, and serialized.
Documentation | Examples | Live Demos | Vision | Benchmarks
Quick Start
AILANG is designed to be used by AI agents. The easiest way to get started is via your agent's plugin/extension system.
With Claude Code
/plugin marketplace add sunholo-data/ailang_bootstrap
/plugin install ailang
With Gemini CLI
gemini extensions install https://github.com/sunholo-data/ailang_bootstrap.git
What the Plugin Provides
- AILANG binary - Auto-installed for your platform
- MCP tools -
ailang_prompt, ailang_check, ailang_run, ailang_builtins
- Slash commands -
/ailang:prompt, /ailang:new, /ailang:run, /ailang:challenge
- Teaching prompts - Current syntax rules loaded automatically
Once installed, just ask your agent to write AILANG code - it handles the rest.
See ailang_bootstrap for details.
Quick Install
curl -fsSL https://ailang.sunholo.com/install.sh | bash
Detects your OS/architecture automatically. Pin a version with VERSION=v0.9.0 before the curl.
Click to expand manual installation instructions
# macOS (Apple Silicon)
curl -L https://github.com/sunholo-data/ailang/releases/latest/download/darwin.arm64.ailang.tar.gz | tar -xz
sudo mv ailang /usr/local/bin/
# macOS (Intel)
curl -L https://github.com/sunholo-data/ailang/releases/latest/download/darwin.x64.ailang.tar.gz | tar -xz
sudo mv ailang /usr/local/bin/
# Linux
curl -L https://github.com/sunholo-data/ailang/releases/latest/download/linux.x64.ailang.tar.gz | tar -xz
sudo mv ailang /usr/local/bin/
# From source
git clone https://github.com/sunholo-data/ailang.git
cd ailang && make install
# Verify
ailang --version
For complete setup instructions, see the Getting Started Guide.
Hello World
module examples/hello
import std/io (println)
export func main() -> () ! {IO} {
println("Hello from AILANG!")
}
ailang run --caps IO examples/hello.ail
# Output: Hello from AILANG!
Interactive REPL
ailang repl
λ> 1 + 2
3 :: Int
λ> let double = \x. x * 2 in double(21)
42 :: Int
λ> :type \x. x + x
\x. x + x :: ∀α. Num α ⇒ α → α
λ> :quit
Key Features
