搜索结果：scala（20 个）

机器学习工程开源电子书。

Waves 是基于 Scala 实现的 Waves 区块链官方标准节点客户端。它主要解决去中心化应用（DApp）的底层运行与网络互联问题。核心功能包括：交易的处理与验证、区块的生成与存储、节点间网络通信、提供对外交互的 REST API，以及支持智能合约（RIDE 语言）和插件扩展管理。

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

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

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

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

scalameta 是一个专为 Scala 打造的元编程库。它主要解决 Scala 代码在分析、转换和生成等处理上的繁琐问题。核心功能涵盖代码解析（Parser）、语法与语义分析（SemanticDB）、代码格式化打印（Pretty-printer）及代码自动生成与转换。

ScalaCheck 是一个专为 Scala 和 Java 程序设计的基于属性的自动化测试库。它受 QuickCheck 启发，能自动生成大量测试数据来验证代码属性是否始终成立，免去手写个别用例的繁琐。它零外部依赖，自带测试运行器，并深度集成了 SBT、ScalaTest 和 specs2。

面向充满好奇心的软件工程师的学习资源合集。

面向面试准备的大规模系统设计学习指南与核心知识库。

利用免费资源学习系统设计概念并备战相关技术面试。

akka-http 是基于 Akka 的流优先（Streaming-first）HTTP 工具包，非传统 Web 框架。它解决构建高响应、高弹性分布式服务时的 HTTP 通信问题，提供完整的服务端与客户端栈，支持 HTTP/2 及 WebSocket，并提供多层级抽象 API 供灵活调用。

NetLogo 是一个基于 Scala 开发的多主体建模（ABM）仿真平台。它主要面向学生、教师和科研人员，用于模拟和探索复杂系统。平台核心通过海龟（turtles）、网格（patches）和链接（links）等基本要素，支持低门槛地构建、运行与可视化复杂的交互式主体模型。

面向大规模机器学习的高性能、灵活的参数服务器（Parameter Server）。

eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器（Monad Transformers），解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用（Eff monad），开箱支持 Reader、Writer、State 等常用效果，并允许开发者自定义副作用栈。

〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.

Play-ReactiveMongo 是专为 Play Framework 开发的 MongoDB 插件。它集成了 ReactiveMongo 驱动，解决 Play 项目中异步操作 MongoDB 的需求，核心功能是为开发者提供响应式、异步且非阻塞的 Scala 数据库访问支持。

Gears 是面向 Scala 3 的实验性底层异步编程库。它主要解决并发编程复杂及计算泄漏问题，支持使用 `.await` 直接调用异步函数的直观编程风格；提供结构化并发与非结构化外部事件处理工具；并跨平台支持 JVM (>=21)、Scala Native 与 Scala.js (Wasm)。

大型分布式系统架构精选指南，汇总高可扩展、高可靠与高性能系统的设计模式。

X（原 Twitter）官方推荐算法的开源代码库。