AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Pure quantum-proof network node for the Autonomi decentralized network
Pure quantum-proof network node for the Saorsa decentralized network
SQLite/PostgreSQL persistence and AES-256-GCM credential vault for z8run
authx command-line interface — serve, migrate, and manage users
Axum integration for authx-rs: Tower middleware, session management, CSRF, rate limiting, and route handlers
Core authentication primitives for authx-rs: crypto, JWT/EdDSA, RBAC/ABAC, events, and models
Embedded admin dashboard for authx-rs
Auth plugin collection for authx-rs: email/password, TOTP, magic link, OAuth, API keys, organizations, and more
Storage abstraction layer for authx-rs: repository traits, in-memory store, and PostgreSQL adapter
Rust Embedded DataBase with AES Encryption - Fork of redb
Tauri plugin for libsql with encryption and drizzle ORM support