Lambda compute tooling
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.
CLI + Library to get detailed information about your Mac system. Including CPU, Cache (L1-L3), Memory, and more.
SecretEnv CLI — resolves aliases to secrets and runs commands with them injected
SecretEnv — 1Password backend
SecretEnv — AWS Secrets Manager backend (supports #json-key=<field> URI fragment directive)
SecretEnv — AWS SSM Parameter Store backend
SecretEnv — Azure Key Vault backend (supports #version=<hex> URI fragment directive)
SecretEnv — Bitwarden Secrets Manager backend (project-scoped secrets via the `bws` CLI v2.x)
SecretEnv — Cloudflare Workers KV backend (wrangler-wrapped)
SecretEnv — CyberArk Conjur backend (variables via the Go-based `conjur` v8 CLI)
SecretEnv — Doppler SaaS secrets backend
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.