项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 638
AI 模型与开发框架 · 757
自动化与工作流 · 424
数据分析与数据处理 · 855
网站与 SaaS 工具 · 359
效率与办公工具 · 417
图像、视频与音频 · 431
内容创作与媒体工具 · 344
电商与营销工具 · 108
游戏与娱乐 · 207
网络与基础设施 · 720
开发者工具 · 1769
安全与隐私工具 · 216
教育与学习 · 316
其他 · 1822
自动化与工作流 共 424 个项目 · 第 15/22 页
stack
综合 54
Stack 是用于开发 Haskell 项目的跨平台工具。它旨在解决 Haskell 开发环境与依赖管理问题，全面支持 Linux、macOS 和 Windows。无论是新手还是资深开发者，都可以通过它轻松搭建、构建和维护 Haskell 项目。
chatwiki
综合 54
微信公众号 AI 知识库工作流 Agent 平台与 RAG 客服机器人。
swift-markdown
综合 54
用于解析、构建、编辑和分析 Markdown 文档的 Swift 宏包。
project-m36
综合 54
Project:M36 是一个纯 Haskell 开发的关系代数引擎，旨在解决传统 DBMS 偏离数学原理、不够严谨的问题。它严格遵循纯正的关系代数，支持 TutorialD 与 SQL 交互，可用作进程内或远程数据库后端，适合学习关系代数与规范化数据存储。
kaitai_struct_compiler
综合 54
kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构，自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码，并提供开箱即用的访问 API。
reverse-skill
综合 54
面向逆向工程与渗透测试的技能路由包，支持 AI 路由与按需引导工具链。
neut
综合 54
Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题，在无需额外类型注解的情况下，实现可预测的、基于类型的内存管理。项目支持完整 λ 演算，可编译为 LLVM IR 和原生二进制，并内置 LSP、代码格式化与快速原型开发支持。
zio-prelude
综合 54
ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。
Python
综合 54
实用的 Python 脚本合集，包含模拟登录知乎、爬虫、操作 Excel、公众号及远程开机等功能。
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 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
airflow
综合 53
通过编写代码来定义、调度和监控工作流的开源分布式自动化平台。
code-review-graph
综合 53
面向 MCP 和 CLI 的本地优先代码智能图谱，构建持久化代码地图以缩减 AI 编码工具上下文。
json4s
综合 53
〔中文简介暂未生成〕 JSON library
DouyinLiveRecorder
综合 53
支持抖音、TikTok、B站等 40+ 平台的直播录制工具，支持循环值守与多开录制。
hoogle
综合 53
Hoogle 是一款专为 Haskell 开发者打造的 API 搜索引擎。它主要解决查找函数时不记得名字的痛点，核心功能是不仅支持按函数名搜索，还能直接通过“近似类型签名”（如 `a -> a`）检索标准库及 Stackage 包，支持网页、本地命令行或 API 调用。
wai
综合 53
WAI 是 Haskell Web 框架与服务器之间的通用接口标准。它解决了应用与底层服务器解耦的问题：开发者基于 WAI 编写的 Web 应用，可直接部署在任意兼容后端（如高性能的 Warp）；同时它支持中间件机制，便于跨框架共享代码并实现模块化。
distributed-process
综合 53
distributed-process 是 Cloud Haskell 的核心库实现，旨在帮助 Haskell 开发者构建分布式系统。它提供了类似 Erlang 的进程并发、客户端/服务端模式、监督树和有限状态机等组件，并包含基于 TCP、QUIC、内存等底层网络传输库，用以简化分布式节点间的通信与协作。