aienos

CUDA++: AIEN’s GPU machine-code toolchain, runtime and driver client for NVIDIA GPUs without the CUDA toolkit. Hardware coverage and driver replacement limits are explicit.

Aienux, the AienOS kernel: boot, scheduling, IPC and capability boundaries. Pre-alpha; host, emulator and physical evidence are labelled separately.

Historical AienOS checkout. Read the implementation and reproduction limits here; current Aienux kernel work lives at aien-dev/aienux.

Historical AIEN runtime checkout, including MAX-era work. Current runtime development and qualification live at aien-dev/aien-sovereign-core-mv.

AienOS front door: pinned repositories, source-linked lessons and verification paths. Components remain separate; whole-stack integration is pre-alpha.

Historical AIEN architecture checkout. Current decisions and implementation mapping live at aien-dev/aien-architecture-mv.

Omega: a language for verified programs, semantic identity and machine realization. Seed-born work and existing implementations have distinct provenance.

Synapse: agent-native changesets and coordination, with Git and Radicle interoperability. A component of the AienOS ecosystem.

AIEN training programme: language-model history, GB10 constraints and the route to training on the project engine. Plans and runnable checks are distinguished.

AIEN Rig: local AI and frame-rate tuning for RTX gaming PCs. Pre-alpha; host fixtures and target-card qualification are separate.

AienOS organization profile, contribution guidance and GitHub community templates. Source, lessons and verification evidence are linked explicitly.

Source of www.aienos.com, built by a Rust generator and served by GitHub Pages

Append-only AIEN verification receipts, indexed by repository and exact source commit. Read verdicts, signatures and retained logs before making a claim.

AienOS host runtime: inference scheduling, paged KV state, the aien CLI and Spark verification tooling. Pre-alpha; Omega is the implementation destination.

FORGE: request-bound machine realization, providers and verification for AienOS. Host, simulated and GB10 hardware paths have separate evidence.

DGX Spark connector for volunteer verification in the AIEN pipeline. Source-linked setup and bounded local checks; pre-alpha.