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.
A Rust data validation library providing Deequ-like capabilities without Spark dependencies
Procedural macros for Mae-Technologies micro-services — derive helpers, schema binding, and async test harness.
A fast, type-safe web framework for Rust inspired by FastAPI
CLI tool for Rapina web framework - create and run Rapina projects
Hasura-style GraphQL ORM for PostgreSQL — one SQL per request via json_agg.
Pure-Rust MySQL backend for OxiSQL via mysql_async + OxiTLS (no libmysqlclient, no OpenSSL)
A developer-friendly ORM for Rust with clean, expressive syntax
Object Agent Mapping framework for distributed systems and agents
Schemabound framework for distributed systems and agents
Switchy database package
General-purpose Postgres-backed multi-site content and custom data storage