新手不知道云服务器能拿来干嘛？
3 分钟看懂「服务器的作用」
每个项目都回答三个问题：它能做什么、为什么火、小白能不能装起来。
评分为规则引擎基于仓库真实数据计算，依据完全透明。
数据24 分钟前更新
小白能直接用
有 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
无需数据库
jq 36,115
有 Docker
无需 API Key
无需数据库
selenium 34,581
有 Docker
无需 API Key
无需数据库
kafka 34,213
有 Docker
无需 API Key
无需数据库
分类筛选 当前：自动化与工作流 共 15 个分类有项目
共 426 个项目 · 第 16/22 页
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+ 平台的直播录制工具，支持循环值守与多开录制。
StockSharp
综合 53
开源算法与量化交易平台，用于开发股票、外汇、加密货币及期权交易机器人。
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、内存等底层网络传输库，用以简化分布式节点间的通信与协作。
tart
综合 53
在 Apple Silicon 上运行的 macOS/Linux 虚拟机，用于 CI 与自动化流程。
munit
综合 53
MUnit 是一个 Scala 测试库。它主要解决测试报错不明确和框架难扩展的问题，核心功能是提供极具可操作性、清晰直观的错误提示信息，并具备高度可扩展的 API，方便开发者编写和定制单元测试。
cats
综合 52
Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。
easyappointments
综合 52
支持自托管的开源在线预约与排期系统。
armorpaint
综合 52
3D 图形与纹理创作工具。
cats-tagless
综合 52
〔中文简介暂未生成〕 Library of utilities for tagless final encoded algebras