🚧 Rebrand in progress: Aria is becoming Nitpick. This hub repo still uses Aria names while the migration is underway. Existing repository history and links are being preserved; repo renames should prefer GitHub's in-place rename flow so redirects keep working.
A safety-critical programming language for deterministic systems.
Aria is a compiled language with an LLVM backend, designed for systems where correctness, determinism, and safety are paramount. It features a strong type system, atomic operations, trit/nit logic, and a growing ecosystem of packages and tools.
The Aria project is organized across multiple repositories under the Alternative Intelligence organization.
| Repository | Description |
|---|---|
| aria | Compiler, stdlib, runtime, LSP, debugger, package manager — the core language implementation |
| aria-lang | This repo — project hub and cross-repo coordination |
| Repository | Description |
|---|---|
| aria-packages | 39 ecosystem packages (networking, GUI, audio, testing, etc.) |
| aria-make | Build system with ABC config format and FFI support |
| aria-docs | Documentation, man pages, examples, and language specs |
| aria-tools | Developer tools — safety audit, MCP server, editor support, VS Code extension |
| aria-specialist | AI specialist model training infrastructure (Qwen-based fine-tunes) |
| aria-packages-apt | APT repository infrastructure for Debian/Ubuntu packages |
| Repository | Description |
|---|---|
| ariax | AriaX Linux distribution — custom kernel, shell, and desktop environment |
| Repository | Description |
|---|---|
| aria_community | GitHub Discussions, governance, RFCs, and community showcase |
curl -fsSL https://packages.ariax.ai-liberation-platform.org/setup-repo.sh | sudo bash
sudo apt install nitpickgit clone https://github.com/alternative-intelligence-cp/nitpick.git
cd nitpick
mkdir build && cd build
cmake .. -DCMAKE_BUILD_TYPE=Release
make -j$(nproc)
sudo make installfunc:main = int32() {
drop(println("Hello from Nitpick!"));
exit(0);
};
func:failsafe = int32(tbb32:err) { exit(1); };
npkc hello.npk -o hello
./helloaria (compiler)
├── npkc — Compiler (Nitpick → LLVM IR → native, was ariac)
├── aria-ls — Language Server Protocol implementation
├── npkpkg — Package manager (was aria-pkg)
├── aria-doc — Documentation generator
├── stdlib/ — Standard library (ships with compiler)
└── tests/ — Compiler + stdlib test suite
nitpick-packages — 103 ecosystem packages
nitpick-build — Build system, npkbld (was aria-make)
nitpick-docs — Docs, man pages, 78+ examples
nitpick-tools — Safety audit, MCP, editors, VS Code
nitpick-specialist — AI model training (Qwen2.5-7B fine-tune)
nitpick-packages-apt — APT repo infrastructure
nitpicker — Nitpicker Linux distribution (was AriaX)
All repositories are maintained under the Alternative Intelligence organization.
The Aria project and everything built around it — compiler, packages, tools, the AriaX distribution.
| Project | Description |
|---|---|
| Aria | Safety-critical programming language (this project) |
| ariax | AriaX Linux distribution |
| Project | Description |
|---|---|
| Nikola | AI/ML platform — the reason Aria exists, but its own project |
| Educational | Deep-dive educational material — not "here's how to use the thing," but how the thing works and why |
| Tech | Things we built for fun or because we needed them |
| Website | Organization website (ai-liberation-platform.org) |
v0.2.2 (in development)
- LLVM 20.1.2 backend
- 39 ecosystem packages
- GTK4, SDL2, Raylib GUI wrappers
- LSP with document symbols, references, signature help
- DAP debugger with conditional breakpoints
- MCP server for AI-assisted development
- aria-safety static analysis tool
- Debian package (.deb)
AGPL-3.0 — see LICENSE.md in each repository.