项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 648
AI 模型与开发框架 · 761
自动化与工作流 · 433
数据分析与数据处理 · 861
网站与 SaaS 工具 · 358
效率与办公工具 · 424
图像、视频与音频 · 440
内容创作与媒体工具 · 348
电商与营销工具 · 108
游戏与娱乐 · 207
网络与基础设施 · 721
开发者工具 · 1779
安全与隐私工具 · 224
教育与学习 · 318
其他 · 1804
自动化与工作流 共 433 个项目 · 第 15/22 页
zio-prelude
综合 54
ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。
recheck
综合 54
recheck 是一款值得信赖的 ReDoS（正则表达式拒绝服务攻击）检测工具。它主要用 Scala 开发，旨在解决不安全正则导致的性能崩溃或安全漏洞问题。其核心功能是分析和检测正则表达式中的 ReDoS 风险，并提供相关 ESLint 插件以保障代码安全。
refined
综合 54
refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。
zio-json
综合 53
zio-json 是专为 Scala 生态打造的高性能、安全型 JSON 库，与 ZIO 紧密集成。它解决了传统 JSON 库编译慢、抵御恶意载荷能力弱的问题，提供极快编解码速度、安全防护、清晰的报错信息与轻量设计，且跨平台支持 Scala.js 和 Scala Native。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
swift-syntax
综合 53
用于解析、检查、生成和转换 Swift 源码的库集合。
airflow
综合 53
通过编写代码来定义、调度和监控工作流的开源分布式自动化平台。
code-review-graph
综合 53
面向 MCP 和 CLI 的本地优先代码智能图谱，构建持久化代码地图以缩减 AI 编码工具上下文。
json4s
综合 53
〔中文简介暂未生成〕 JSON library
pal-mcp-server
综合 53
统一聚合 Claude Code、GeminiCLI 与 OpenAI、Ollama 等多模型的 MCP Server。
hoogle
综合 53
Hoogle 是一款专为 Haskell 开发者打造的 API 搜索引擎。它主要解决查找函数时不记得名字的痛点，核心功能是不仅支持按函数名搜索，还能直接通过“近似类型签名”（如 `a -> a`）检索标准库及 Stackage 包，支持网页、本地命令行或 API 调用。
Python
综合 53
实用的 Python 脚本合集，包含模拟登录知乎、爬虫、操作 Excel、公众号及远程开机等功能。
wai
综合 53
WAI 是 Haskell Web 框架与服务器之间的通用接口标准。它解决了应用与底层服务器解耦的问题：开发者基于 WAI 编写的 Web 应用，可直接部署在任意兼容后端（如高性能的 Warp）；同时它支持中间件机制，便于跨框架共享代码并实现模块化。
distributed-process
综合 53
distributed-process 是 Cloud Haskell 的核心库实现，旨在帮助 Haskell 开发者构建分布式系统。它提供了类似 Erlang 的进程并发、客户端/服务端模式、监督树和有限状态机等组件，并包含基于 TCP、QUIC、内存等底层网络传输库，用以简化分布式节点间的通信与协作。
munit
综合 53
MUnit 是一个 Scala 测试库。它主要解决测试报错不明确和框架难扩展的问题，核心功能是提供极具可操作性、清晰直观的错误提示信息，并具备高度可扩展的 API，方便开发者编写和定制单元测试。
cats
综合 52
Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。
rack-attack
综合 52
〔中文简介暂未生成〕 Rack middleware for blocking & throttling
cats-tagless
综合 52
〔中文简介暂未生成〕 Library of utilities for tagless final encoded algebras
rathole
综合 52
基于 Rust 的轻量高性能 NAT 穿透反向代理，可替代 frp 和 ngrok。
fs2-kafka
综合 52
fs2-kafka 是一个基于 Scala 的开源库。它结合官方 Apache Kafka 客户端与 FS2 框架，解决在 Scala 函数式编程中以流式方式操作 Kafka 的问题。核心功能是提供纯函数式的 API，支持以流（Stream）的形式高效消费、生产和处理 Kafka 消息。