搜索结果：r（433 个）

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 插件直接运行，从而在编译期检查程序性质并发现潜在错误。

用于解析、检查、生成和转换 Swift 源码的库集合。

通过编写代码来定义、调度和监控工作流的开源分布式自动化平台。

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

〔中文简介暂未生成〕 JSON library

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

Hoogle 是一款专为 Haskell 开发者打造的 API 搜索引擎。它主要解决查找函数时不记得名字的痛点，核心功能是不仅支持按函数名搜索，还能直接通过“近似类型签名”（如 `a -> a`）检索标准库及 Stackage 包，支持网页、本地命令行或 API 调用。

实用的 Python 脚本合集，包含模拟登录知乎、爬虫、操作 Excel、公众号及远程开机等功能。

WAI 是 Haskell Web 框架与服务器之间的通用接口标准。它解决了应用与底层服务器解耦的问题：开发者基于 WAI 编写的 Web 应用，可直接部署在任意兼容后端（如高性能的 Warp）；同时它支持中间件机制，便于跨框架共享代码并实现模块化。

distributed-process 是 Cloud Haskell 的核心库实现，旨在帮助 Haskell 开发者构建分布式系统。它提供了类似 Erlang 的进程并发、客户端/服务端模式、监督树和有限状态机等组件，并包含基于 TCP、QUIC、内存等底层网络传输库，用以简化分布式节点间的通信与协作。

MUnit 是一个 Scala 测试库。它主要解决测试报错不明确和框架难扩展的问题，核心功能是提供极具可操作性、清晰直观的错误提示信息，并具备高度可扩展的 API，方便开发者编写和定制单元测试。

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

〔中文简介暂未生成〕 Rack middleware for blocking & throttling

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

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

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