搜索结果：v（310 个）

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

recheck 是一款值得信赖的 ReDoS（正则表达式拒绝服务攻击）检测工具。它主要用 Scala 开发，旨在解决不安全正则导致的性能崩溃或安全漏洞问题。其核心功能是分析和检测正则表达式中的 ReDoS 风险，并提供相关 ESLint 插件以保障代码安全。

refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。

zio-json 是专为 Scala 生态打造的高性能、安全型 JSON 库，与 ZIO 紧密集成。它解决了传统 JSON 库编译慢、抵御恶意载荷能力弱的问题，提供极快编解码速度、安全防护、清晰的报错信息与轻量设计，且跨平台支持 Scala.js 和 Scala Native。

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

面向 MCP 和 CLI 的本地优先代码智能图谱，构建持久化代码地图以缩减 AI 编码工具上下文。

统一聚合 Claude Code、GeminiCLI 与 OpenAI、Ollama 等多模型的 MCP Server。

Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。

〔中文简介暂未生成〕 Library of utilities for tagless final encoded algebras

基于 Rust 的轻量高性能 NAT 穿透反向代理，可替代 frp 和 ngrok。

fs2-kafka 是一个基于 Scala 的开源库。它结合官方 Apache Kafka 客户端与 FS2 框架，解决在 Scala 函数式编程中以流式方式操作 Kafka 的问题。核心功能是提供纯函数式的 API，支持以流（Stream）的形式高效消费、生产和处理 Kafka 消息。

scalac-scoverage-plugin 是一个 Scala 代码覆盖率核心工具库。它解决了传统行覆盖率难以准确衡量 Scala 单行多语句/多分支代码的问题，核心提供**语句覆盖率**与**分支覆盖率**统计，并内置报表生成工具，支持与 sbt、Maven 等构建工具集成。

〔中文简介暂未生成〕 Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

**nix-tree** 是一个用 Haskell 编写的终端交互工具，解决 Nix 派生包（derivation）依赖关系复杂、体积难以直观分析的问题。它支持终端内按键浏览依赖树，查看自身大小与闭包体积，提供搜索、依赖溯源及导出 DOT 格式等功能。

case-app 是一个 Scala 命令行参数解析库。它允许开发者直接用样例类（case class）字段来定义选项，自动完成参数解析并生成帮助信息。核心功能包括支持子命令、Shell 补全、注解定制帮助，以及跨 JVM、Scala.js 和 Scala Native 运行。

Ciris 是一个专为 Scala 打造的函数式配置加载库。它旨在解决 Scala 应用中的配置加载问题，核心特点是轻量级且可组合，让开发者能够以函数式的方式轻松管理和组合应用配置。

极简的 IT 自动化平台，涵盖代码部署、系统维护与网络配置的全流程自动化。

Scastie 是可在浏览器中直接运行的 Scala 交互式 Playground（类似网页版 sbt）。它解决了本地搭建 Scala 环境繁琐的问题，支持任意 Scala 版本、多后端（Scala 3、Scala.js 等）及公开库依赖检索。核心功能包括类似 IDE 的 worksheet 模式、代码在线分享与网页嵌入。

Play JSON 是一个用 Scala 编写的强大 JSON 库。它不依赖 Play 框架，底层使用 Jackson 解析。主要解决 Scala 应用中 JSON 解析、序列化与对象映射的需求。核心功能包括内置完整的 JSON AST、与样例类互转，以及提供便利的 DSL 操作符（如 `\`）快速查询和遍历 JSON。

RayDP 解决了传统 AI 流水线中 Spark 数据处理与深度学习训练常需分设独立集群、数据流转慢且运维复杂的问题。 它支持直接在 Ray 集群上运行 Spark，允许开发者在单个 Python 程序中混合编写 PySpark 与 AI 库代码；还提供将 Spark DataFrame 转换为 Ray Dataset 的 API，通过 Ray 内存对象实现高效数据交互。