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.
Fault-tolerant workflow orchestration library using embedded Raft consensus for Rust applications
Library for encrypting and decrypting secrets within the AWS ecosystem.
CLI tool for benchmarking Lambda functions
Rust http interface for AWS lambda API gateway events
Rust http interface for AWS lambda API gateway events (attr macros)
A crate for building AWS Athena User Defined Functions in Rust
A span exporter that writes OpenTelemetry spans to stdout in OTLP format
parse `env` to config struct for Rust
Important Enhancements: 1) Supports V2 and V4 API Signatures for third party S3 compliant products like Ceph 2) Works from behind proxies 3) Returned data can be in Rust structs, JSON or XML Works only for S3. Other AWS Storage features are coming soon!
Fast Amazon S3 object deletion tool.
Detect if running in container, VM, or bare metal