搜索结果：scala（248 个）

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

可扩展的开源游戏后端服务，支持多人联机、匹配、排行榜、聊天及社交功能。

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 算力平台上。

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

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

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 是专为 Scala 设计的构建服务器与命令行工具，旨在解决 Scala 编译慢、开发流程繁琐的问题。它能与各类编辑器及构建工具集成，提供开箱即用的支持，帮助开发者在任何工作流中快速完成 Scala 代码的编译、测试与运行。

基于 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。

一门用于构建类型安全、高可扩展性系统的友好函数式编程语言。