Task-local runtime deadline helpers for async Rust workers and AWS Lambda handlers.
AWS Lambda Runtime
OpenTelemetry Tower middleware for AWS Lambda
A lightweight, Express-like REST API routing framework for AWS Lambda with middleware, authentication, and CORS support
Application Load Balancer and API Gateway event types for AWS Lambda
AWS Lambda Runtime
Lightweight OpenTelemetry instrumentation for AWS Lambda
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.
Client SDK for AWS Lambda's runtime APIs
AWS Lambda utilities for Rust
AWS Lambda event definitions
Implements Request/Response for Amazon Alexa skills
No description provided.
No description provided.