搜索结果：aws（19 个）

开源云安全评估平台，支持 CLI 和本地服务器，可自动化执行多云环境的安全与合规检查。

基于 Docker 的 Android 运行方案，支持 noVNC、视频录制、MCP 服务端及 AI Agent。

面向工程师、AI 编程 Agent 和 CI/CD 的云成本分析工具，推动 FinOps 左移。

使用代码定义和配置云端基础设施的 AWS 云开发工具包框架。

AWS 官方推出的 Python Serverless 快速微服务开发框架。

企业级开源身份认证与单点登录（SSO）解决方案。

轻量、顺手且完全免费的 AWS 本地模拟环境替代方案。

可扩展的开源 PaaS 平台，集成 Docker 与 Nginx 自动化配置，类似于自建版 Heroku。

Cromwell 是一个面向生物信息学的开源科学工作流执行引擎。它主要解决复杂分析流程难以在大规模环境中调度与扩展的问题。项目支持 WDL 工作流语言，采用模块化后端设计，可轻松将工作流无缝部署并运行在本地、AWS Batch 或 GCP Batch 等多种云端与 HPC 算力平台上。

涵盖从本地开发到云端部署的一体化后端基础设施编排框架。

基于 Serverless Framework 的无服务器架构示例与模板集，覆盖 AWS Lambda、Azure 等。

ElasticMQ 是一个兼容 Amazon SQS 接口的内存消息队列系统，基于 Scala 构建。它主要解决本地开发与测试中依赖真实 AWS SQS 的成本与繁琐问题。核心功能包括支持 SQS 语义的轮询与延时消息、全异步无阻塞运行，支持独立部署、Docker 或嵌入式运行，并提供可选的持久化和 Web 管理界面。

AWS（Amazon Web Services）通用命令行工具（CLI）。

面向 DevOps 工程师的 30 天 AWS 从入门到精通仓库，含项目、演示文稿、面试题与实时示例。

AWS 开源替代方案，提供弹性计算、存储、K8s 及托管 Postgres 等服务。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

涵盖 Linux、Docker、Kubernetes 等多项技术的 DevOps 面试题与练习题合集。

Serverless 架构框架，基于 AWS Lambda 等托管云服务，构建免维护、自动扩缩且闲置零成本的应用。

包含 1200+ DevOps Bash 脚本，覆盖 AWS、K8s、Docker、CI/CD 及各类数据库。