搜索结果：scala（248 个）

Gluten 是一个为 Spark SQL 提速的中间层插件。它复用 Spark 的分布式控制流，将 JVM 中计算密集的数据处理卸载给 ClickHouse、Velox 等高性能原生引擎。通过 Substrait 转换执行计划并结合 Arrow 列存格式，无需改动现有 SQL 或 DataFrame API 即可实现原生向量化加速。

简单、可扩展的前端响应式状态管理库。

Eclair 是用 Scala 编写的比特币闪电网络实现，严格遵循 BOLT 规范。它依托 Bitcoin Core 监控链上数据与管理链上资金，提供通道开设、关闭及闪电网络收付款功能，并内置丰富的 HTTP JSON API，方便开发者快速集成闪电支付能力。

MLeap 专注于简化机器学习流水线的生产部署。它支持将 Spark 或 Scikit-learn 训练的流水线导出为便携格式（JSON/Protobuf），并直接在轻量级 JVM 运行时上执行，完全脱离对 Spark、sklearn 等重型环境的依赖，实现高性能、跨平台的快速推理。

Mill 是一款面向 Java、Scala 和 Kotlin 的轻量构建工具，旨在解决传统 JVM 工具慢且复杂的问题。它比 Maven 更简洁（配置代码更少）、比 Gradle 更直观，通过激进的缓存与并行机制，实现提速 3-7 倍的高效编译、运行与测试体验。

Delta Sharing 是开源的安全数据共享协议，解决跨计算平台实时交换大数据集的难题。它通过 REST 协议共享云存储上的数据，提供 Python、Spark 连接器及参考服务端，支持直接用 pandas、Spark 等工具读取 Delta Lake 或 Parquet 表。

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

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

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

快速、可扩展、支持多语言的现代化构建系统。

〔中文简介暂未生成〕 Modern Load Testing as Code

Spline 是一个基于 Scala 开发的数据血缘追踪与可视化方案。它主要解决大数据处理流程中数据来源与流向不透明的问题，支持 Apache Spark 等框架。核心功能包括自动化捕获作业血缘、通过 REST/Kafka 接口传输并存储血缘数据，以及提供直观的可视化界面。

Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。

Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。

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

〔中文简介暂未生成〕 Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。

Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。

Scio 是为 Apache Beam 和 Google Cloud Dataflow 打造的 Scala API，风格贴近 Spark。它解决了 Beam 原生开发体验繁琐的问题，提供批流一体的编程模型，深度整合 BigQuery、Pub/Sub 等 GCP 服务，并原生支持 Cassandra、Parquet、TensorFlow 等多样数据源与交互式 REPL。

专为超高速网店、可扩展商城及复杂 B2B 应用打造的 Laravel 电商扩展包。