AWS Lambda integration for turul-mcp-framework servers
Tool to build AWS Lambda functions written in Rust
CLI tool for benchmarking Lambda functions
Argument parser for lambda-rs tools.
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 CLI tool that estimates AWS Lambda costs based on the compiled binary size.
Deterministic irreversibility scoring for time-series state trajectories.
Lambda compute tooling
CLI tool for the Brylix framework
CLI tool for discovering and mapping cloud serverless infrastructure
CLI tool for live tailing of OTLP traces and logs in the Serverless OTLP Forwarder architecture.
A preview for CloudFormation Guard (cfn-guard)
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.