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.
Django-shaped batteries-included web framework for Rust: ORM + migrations + auto-admin + multi-tenancy + audit log + auth (sessions, JWT, OAuth2/OIDC, HMAC) + APIs (ViewSet, OpenAPI auto-derive, JSON:API) + jobs (in-mem + Postgres) + email + media (S3 / R2 / B2 / MinIO + presigned uploads + collections + tags) + production middleware (CSRF, CSP, rate-limiting, compression, idempotency, etc.).
A Rust wrapper for AWS EventBridge Scheduler with type-safe builders for schedule expressions
Utility to backup a folder to AWS S3, once or periodically.
Event-driven automation framework for webhooks, filesystems, cron, and SQS
S3lsio is a command line utility for AWS S3 operations. It support V2 and V4 signatures. It also does benchmarking for S3. It can be used in scripts, called from other apps, cron etc. It's driven by JSON and can return data in JSON. It can also be used to keep buckets in sync. It also performs Ceph RGW Admin features for those familiar with Ceph. Install: [Cargo install s3lsio] OR download at http://www.lambdastack.io/s3lsio For help just run the cli: [s3lsio -h]
A YAML-driven local cron runner with a Cargo Lambda executor
A declarative, config-driven data pipeline with pluggable source and sink connectors
CLI for scanning EC2 instances, estimating cost, and flagging stale resources
An easy-to-use backup tool designed for servers.
Greentic deployer runtime for plan construction and deployment-pack dispatch
Greentic deployer runtime for plan construction and deployment-pack dispatch
No description provided.
No description provided.
No description provided.
No description provided.