Aria

A Modern Systems Programming Language

Safe. Fast. Deterministic.

Aria is a statically-typed systems programming language with an LLVM backend, ownership-based memory safety, async/await, and a growing ecosystem of 74 packages. Designed for performance-critical applications and AI infrastructure.

📘 Documentation 💻 GitHub 📦 Install

Current Status — v0.2.15 (March 2026)

Compiler LLVM 20 backend
862 feature + regression tests
CI/CD pipeline (GitHub Actions)
Ecosystem 74 packages
Package manager (aria-pkg)
APT repository
Tooling LSP server (aria-ls)
MCP server (aria-mcp)
VS Code extension
Documentation 360+ guide pages
Full API reference
Cross-language binding guide

⚡ Language Features

🛡️ Memory Safety

Ownership system with borrow checker. No garbage collector, no leaks, no data races.

  • Ownership and borrowing
  • Compile-time lifetime checks
  • Zero-cost resource management
STABLE

⚙️ Zero-Cost Generics

Generic functions and structs monomorphized at compile time. No runtime dispatch overhead.

  • Generic functions with inference
  • Generic struct specialization
  • Compile-time evaluation
STABLE

🎯 Error Handling

Explicit pass/fail result types with the ? operator. No hidden exceptions.

  • Type-safe error propagation
  • failsafe entry point
  • No hidden control flow
STABLE

⚡ Async/Await

Stackless coroutines with LLVM coroutine intrinsics. Async error propagation built-in.

  • async functions + await
  • Async error propagation
  • io_uring support
STABLE

🖥️ GPU Codegen

Native NVIDIA CUDA/PTX code generation. Write GPU kernels in Aria directly.

  • --emit-ptx flag
  • sm_50 through sm_90
  • #[gpu_kernel] attribute
STABLE

🔗 Cross-Language Bindings

Compile to .so shared libraries callable from C, Python, Rust, Go, and more.

  • --shared flag → .so output
  • C ABI export (no mangling)
  • Python ctypes bridge
Cross-Language

Hello, Aria!

// Aria: systems-level code with clean syntax
func:add = int32(int32:a, int32:b) {
    pass(a + b);
};

// Template literals with &{expr}
func:greet = NIL(string:name) {
    println(`Hello, &{name}!`);
};

// Extern FFI — call any C library
extern "m" {
    func:sqrt = flt64(flt64:x);
};

// Error handling entry point
func:failsafe = NIL(int32:code) { pass(NIL); };

func:main = NIL() {
    int32:result = add(3, 4);
    println(result);              // 7
    greet("World");            // Hello, World!
    println(sqrt(144.0));       // 12.0
};

📦 Package Ecosystem (74 packages)

Install packages with aria-pkg install <package>. All packages include C shims, Aria wrappers, and test suites.

PackageDescriptionVersion
🌐 Networking & Web
aria-httpHTTP client/server0.2.3
aria-websocketRFC 6455 WebSocket client/server (pure POSIX)0.2.6
aria-socketTCP/UDP socket primitives0.2.3
aria-urlURL parsing and percent-encoding0.2.6
aria-mimeMIME type detection (70+ types)0.2.6
📄 Data Formats
aria-jsonJSON parser and serializer0.2.3
aria-tomlTOML parser with dotted keys & tables0.2.6
aria-yamlYAML parser with indentation support0.2.6
aria-xmlXML tag/attribute lookup and path queries0.2.6
aria-csvCSV reader/writer0.2.3
🔐 Security & Encoding
aria-cryptoSHA-256, MD5, HMAC-SHA256 (no OpenSSL)0.2.6
aria-hashHash functions0.2.3
aria-base64Base64 encode/decode0.2.3
aria-uuidUUID v4 generation0.2.3
🗄️ Databases
aria-sqliteSQLite3 embedded database0.2.3
aria-postgresPostgreSQL client0.2.3
aria-mysqlMySQL/MariaDB client0.2.3
aria-redisRedis client0.2.3
🖼️ Graphics & UI
aria-sdl2SDL2 bindings (windows, rendering, input)0.2.3
aria-gtk4GTK4 UI toolkit bindings0.2.3
aria-raylibRaylib game framework bindings0.2.3
🛠️ CLI & System
aria-cliANSI colors, styles, progress bars, banners0.2.6
aria-envEnvironment variables, home/path/user helpers0.2.6
aria-argsCommand-line argument parsing0.2.3
aria-fsFile system operations0.2.3
aria-inputInteractive terminal input0.2.3
aria-logStructured logging0.2.3
📐 Data & Math
aria-mathMath functions0.2.3
aria-randRandom number generation0.2.3
aria-regexPOSIX regex matching0.2.3
aria-datetimeDate & time operations0.2.3
aria-semverSemantic versioning parse, compare, bump0.2.6
aria-compresszlib deflate/inflate, gzip/gunzip0.2.6
🧩 Core & Utilities
aria-strString manipulation0.2.3
aria-convType conversions0.2.3
aria-bufBuffer operations0.2.3
aria-vecDynamic arrays0.2.3
aria-template{{var}} string template engine0.2.6
aria-colorColor manipulation0.2.3
aria-displayDisplay formatting0.2.3
aria-consoleConsole helpers0.2.3
aria-testTesting framework0.2.3
aria-asciiASCII utilities0.2.3

Plus more: aria-bits, aria-clamp, aria-endian, aria-fixed, aria-freq, aria-gradient-field, aria-mux, aria-decision-t, aria-entangled, aria-resource-mem, aria-zigzag, aria-audio. See the full registry on GitHub.

🔗 Cross-Language Bindings NEW

Compile Aria to shared libraries with ariac mylib.aria --shared -o libmylib.so. Functions export with C ABI — no name mangling — callable from any language with C FFI.

Call from C

// Declared in Aria, called from C
extern int add(int a, int b);

int main() {
    printf("add(3,4) = %d\n", add(3, 4));
    return 0;
}
// gcc main.c -L. -lmylib -o main

Call from Python

import ctypes

lib = ctypes.CDLL('./libmylib.so')
lib.add.restype = ctypes.c_int
lib.add.argtypes = [ctypes.c_int, ctypes.c_int]

print(lib.add(10, 20))  # 30

📥 Installation

APT Repository (Debian/Ubuntu)

# Add the AriaX APT repository
$ curl -fsSL https://packages.ariax.ai-liberation-platform.org/pubkey.gpg | sudo gpg --dearmor -o /usr/share/keyrings/ariax.gpg
$ echo "deb [signed-by=/usr/share/keyrings/ariax.gpg] https://packages.ariax.ai-liberation-platform.org stable main" | sudo tee /etc/apt/sources.list.d/ariax.list
$ sudo apt update && sudo apt install aria-tools

Build from Source

$ git clone https://github.com/alternative-intelligence-cp/aria.git
$ cd aria
$ cmake -B build -G Ninja -DCMAKE_BUILD_TYPE=Release
$ cmake --build build
$ ./build/ariac --version
# Aria Compiler (ariac) version 0.2.15

🏗️ GitHub Repositories

All repositories under github.com/alternative-intelligence-cp.

📦 aria

Compiler, runtime, LLVM backend, async runtime. The core.

📚 aria-packages

74 ecosystem packages — HTTP, databases, crypto, data formats, graphics, AI/ML, CLI tools.

📘 aria-docs

Language guide, specification, tutorials, and API documentation.

🔧 aria-tools

VS Code extension, MCP server, and ecosystem utilities.

🏗️ aria-make

Build system — aria.toml project config, dependency resolution, multi-file compilation.

📀 aria-lang

Language specification, VS Code language support, and TextMate grammar.

🐧 aria-packages-apt

APT repository for Debian/Ubuntu — .deb packages for aria-tools, kernel, shell.

🤖 aria-specialist

AI specialist model — fine-tuned LoRA adapters for Aria code generation (Qwen2.5-7B).

👥 aria_community

Community resources — examples, user-contributed packages, and projects.

📊 trainingData

Training data and evaluation corpora for Aria specialist AI models.

🔧 Toolchain

ariac

Compiler — Aria source to native executables, .so libraries, LLVM IR, assembly, or PTX.

  • Multi-file compilation
  • Optimization levels -O0 to -O3
  • DWARF debug info (-g)

aria-ls

Language Server Protocol implementation for IDE integration.

  • Diagnostics & completions
  • Go to definition
  • VS Code extension

aria-pkg

Package manager — install, search, and manage Aria packages.

  • Registry-based discovery
  • Dependency resolution
  • aria-package.toml config

aria-dap

Debug Adapter Protocol — step debugging with breakpoints and variable inspection.

  • Breakpoints & stepping
  • Variable inspection
  • Memory visualization

aria-doc

Documentation generator — extract doc comments to HTML/Markdown.

  • Auto-generated API docs
  • Cross-reference linking
  • Markdown output

aria-make

Build system — project configuration and multi-file builds via aria.toml.

  • aria.toml project files
  • Dependency manifests
  • Parallel compilation