搜索结果：c（422 个）

可将现实世界任意地点高精度还原并生成到 Minecraft 中的工具。

Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。

精选的 Claude Skills、资源与工具列表，用于定制 Claude AI 工作流。

基于 Python 的交互式网络数据包处理程序与开发库 Scapy。

Spotify 开源的 Python 批处理管道构建模块，支持依赖解析、工作流可视化及 Hadoop 集成。

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

轻量级工作流与业务流程管理（BPM）平台，核心采用高速 BPMN 2 引擎。

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

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

Mend.io 出品的跨平台依赖自动更新工具与 CLI 核心仓库。

基于 Ansible 构建的 Web 界面、REST API 和任务引擎，也是 Red Hat 官方自动化平台的上游开源项目。

Gatling 是一个现代化的开源“测试即代码”负载压测工具。它基于 Netty 非阻塞引擎，以轻量化设计实现高并发压测，无需堆叠大量机器。开发者可用 Java、TS、JS、Kotlin 或 Scala 编写脚本，无缝接入 CI 并在性能衰退时阻断构建，自动生成包含响应时间和吞吐量的详细 HTML 报告。

开箱即用的分布式任务队列系统（此为开发分支）。

Scala Steward 是一个自动化依赖更新机器人，解决手动排查和升级依赖耗时费力的问题。它能定期检查项目依赖与构建插件的版本更新，并自动提交 PR。支持 sbt、Maven、Mill、Scala CLI 等构建工具及 Giter8 模板。

Daml 是一门针对分布式账本（区块链）的智能合约开发语言。它主要解决多方协作中的隐私保护和业务逻辑编写难题，核心功能包括基于“隐私设计”的权限控制、跨账本的工作流自动化，并提供完整的 SDK 工具链供开发者编写与运行智能合约。

Flutter 音频播放包，支持全平台同时播放多个音频文件。

专为编程工具设计的快速增量语法解析系统。

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

轻量高效的工作流与业务流程管理（BPM）平台，面向开发者与业务人员。

用于轻松测试 REST 服务的 Java DSL 工具库。