搜索结果：aws（5 个）
按分类缩小范围
aws-doc-sdk-examples
综合 62
收录 AWS 官方文档及 SDK 开发者指南配套代码示例的仓库。
涵盖 Python、React、Git、Java 等多领域的 LinkedIn 技能评估测验参考答案合集。
grid
综合 56
Grid 是卫报（The Guardian）开源的图像管理系统，旨在解决媒体资产的高效组织、快速检索与低成本使用问题。核心功能包括：基于 Elasticsearch 提供极速图片搜索、通过 Web 界面统一管理图片，并以微服务架构提供超媒体 API，支持接入 AWS 进行存储与通信。
saw-script
综合 54
saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。
amazonka
综合 52
Amazonka 是专为 Haskell 打造的 AWS SDK，解决了在 Haskell 生态中对接 AWS 服务的需求。其核心功能包括基础配置、身份认证和请求发送逻辑，并借助代码生成器自动同步 Amazon 最新 API，全面支持绝大多数 AWS 公共服务。