新手不知道云服务器能拿来干嘛？
3 分钟看懂「服务器的作用」
每个项目都回答三个问题：它能做什么、为什么火、小白能不能装起来。
评分为规则引擎基于仓库真实数据计算，依据完全透明。
数据1 小时前更新
小白能直接用
有 Docker 一键部署 · 不需要 API Key / 数据库 / 显卡开源远程桌面软件 129,106
有 Docker
无需 API Key
无需数据库
typst 57,144
有 Docker
无需 API Key
无需数据库
devdocs 39,625
有 Docker
无需 API Key
无需数据库
firecracker 37,977
有 Docker
无需 API Key
无需数据库
just 36,679
有 Docker
无需 API Key
无需数据库
selenium 34,581
有 Docker
无需 API Key
无需数据库
kafka 34,213
有 Docker
无需 API Key
无需数据库
nautilus_trader 31,470
有 Docker
无需 API Key
无需数据库
分类筛选 当前：自动化与工作流 共 15 个分类有项目
共 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、内存等底层网络传输库，用以简化分布式节点间的通信与协作。