FutureProof AERO Buff — A next-generation programming language and runtime framework where adaptive, resilient, and observable software is the natural default.
AERO — Adaptive, Efficient, Resilient, Observable — closes the gap between static code and the dynamic, living systems it serves.
All project documentation lives in the docs/ folder:
| Document | Description |
|---|---|
| 📄 Whitepaper | Enterprise academic whitepaper — vision, theory, formal specification |
| 🧬 Language Identity | AERO's distinct syntax, know keyword, knowledge-surface model, autonomy, micro-environments |
| 🔮 HoloLang | Domain bridge DSL for holographic / physical-device systems: DDAC, GEMM, SafeTensor, MDI canvas |
| 🖥 Systems Stack | Full-stack blueprint: hardware → OS → network → runtime → application |
| ⚙️ OS Design | AeroOS — programming-oriented, capability-based operating system |
| 🌐 Network Architecture | Lean, programmable network layer: data / control / management planes |
| 🏗 Architecture | AERO runtime: compiler pipeline, AVM, scheduler, GC, observability |
| 🤖 Agentic Orchestration | Linear-driven agent sessions, Rust CLI package, shards/pylons, Warehouse Graveler data hub |
| 📐 Design Principles | Core philosophy, language tenets, and coding conventions |
| 🚀 Getting Started | Installation, first program, and guided project walkthrough |
| 📚 API Reference | Comprehensive language and runtime API reference |
| 🗺 Roadmap | Phased development plan, milestones, and delivery schedule |
| 📖 Glossary | Terminology, acronyms, and concept definitions |
Start with the Whitepaper for the full vision, then Language Identity to understand AERO's distinct philosophy. For physical device / holographic systems, read HoloLang.
v0.1 Foundation (Q3 2026) — ✅ IN PROGRESS
The AERO compiler toolchain is now available as an independent Rust package:
aero_lang_system/
├── aeroc/ # Main CLI compiler
├── aero-lexer/ # Tokenization
├── aero-parser/ # Syntax analysis
├── aero-ast/ # Abstract Syntax Tree
├── aero-types/ # Type checking
├── aero-codegen/ # Bytecode generation
└── avm-runtime/ # Virtual machine runtime
# Clone the repository
git clone https://github.com/somat3k/aero_lang_system.git
cd aero_lang_system
# Build the toolchain
cargo build --release
# The aeroc binary is now available at:
# ./target/release/aeroc- ✅ Full CLI with all v0.1 subcommands (
new,check,build,run,test,fmt) - ✅ Lexer with complete AERO syntax tokenization
- ✅ Parser generating full AST with effect declarations
- ✅ Basic type checking infrastructure
- ✅ AVM bytecode generation (foundation)
- ✅ VM runtime with placeholder execution
- ✅ Project scaffolding with
aeroc new - ✅ All unit tests passing
See the aeroc README for detailed CLI usage and development guide.
# Install the toolchain
curl -fsSL https://get.aero-lang.dev | sh
# Create a new project
aeroc new my-project && cd my-project
# Run it
aeroc runContributions welcome! See the Roadmap for planned milestones and open areas of work.
Open an Issue or start a Discussion.