搜索结果：cs（29 个）

用于开发、生产和观测数据资产的编排平台。

面向聊天机器人开发者的对话式 RPA SDK。

Google Workspace 统一命令行工具，集成 Drive、Gmail、Docs 等服务，动态构建并内置 AI Agent 技能。

仅需一行代码，即可对 Pandas 和 Spark DataFrame 进行数据质量分析与探索。

面向 Python 3 的新闻抓取、正文提取与文章元数据解析工具库。

GitHub 统计信息图生成器，内置 30+ 插件和 300+ 选项，支持导出 SVG、Markdown、PDF 或 JSON。

强大的语法解析器生成工具，用于读取、处理、执行或翻译结构化文本与二进制文件。

高普及度的高性能 Minecraft 服务端，致力于修复玩法漏洞并提升运行效率。

elastic4s 解决了官方 Java 客户端在 Scala 中语法冗长、类型体验不佳的问题。它是专为 Scala 打造的响应式、非阻塞 Elasticsearch HTTP 客户端，提供类型安全且简洁的 DSL；原生支持 Scala 集合、Future 与常见 JSON 库（如 Circe、PlayJson），可在编译期捕获错误并安全复用请求。

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

实时零代码、强安全 ORM 库，后端接口与文档免开发，前端可灵活定制返回 JSON。

为开发者打造标准化开发工作流，规范大规模软件开发流程，提升代码质量与一致性。

跨语言分布式事务框架，支持 Workflow、SAGA、TCC、XA 及二阶段消息等模式。

Airframe 是一套专为 Scala 应用打造的基础组件库，解决日常开发中缺少轻量、统一工具链的问题。它提供了依赖注入与生命周期管理（DI）、JSON/MessagePack 序列化、日志工具、支持前后端同构的 RPC 框架，以及函数式测试框架 AirSpec 等核心功能。

3D 图形与纹理创作工具。

stream-reactor 是 Kafka Connect 连接器集合，解决 Kafka 与外部系统的数据同步问题。它提供多种 Source 和 Sink 连接器，支持 S3、Cassandra、MongoDB 等存储与队列，方便搭建实时数据管道。

scala-scraper 是一个用于抓取和解析 HTML 网页的 Scala 库。它支持通过 Jsoup 等浏览器后端加载网络请求或本地 HTML 文件，并提供了强大的 DSL 语法（如 `>>` 提取操作符与 CSS 查询选择器），帮助开发者快速、优雅地提取并验证页面内容。

jsoniter-scala 是一个高性能的 Scala JSON 解析与序列化库。它通过 Scala 宏在编译期生成安全且极速的 JSON 编解码器（codecs），避免了运行时的反射开销；同时还提供 circe booster 加速模块，并支持 JVM、Scala.js 及 Scala Native 等多平台。

kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构，自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码，并提供开箱即用的访问 API。

LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。