新手不知道云服务器能拿来干嘛？
3 分钟看懂「服务器的作用」
每个项目都回答三个问题：它能做什么、为什么火、小白能不能装起来。
评分为规则引擎基于仓库真实数据计算，依据完全透明。
数据32 分钟前更新
小白能直接用
有 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 个分类有项目
共 428 个项目 · 第 6/22 页
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
ogma
综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。
ACE-Step-1.5
综合 63
可在本地运行的音乐生成模型，支持 Mac、AMD、Intel 和 CUDA 设备。
SponsorBlock
综合 63
可自动跳过 YouTube 视频内赞助广告的浏览器扩展插件。
Pillow
综合 63
友好的 Python 图像处理库（PIL 的活跃分支）。
rembg
综合 63
基于深度学习的图片背景快速消除工具。
ebook2audiobook
综合 63
将电子书转换为有声书，支持 50 多种 TTS 引擎、声音克隆及 1696 种语言。
PeerTube
综合 63
基于 ActivityPub 联邦协议的开源流媒体平台，在浏览器内直接支持 P2P 传输。
lightcraft
综合 63
使用纯 Rust 从零编写的开源非破坏性照片编辑器。
insightface
综合 62
前沿的开源 2D 和 3D 人脸分析与识别算法项目。
chatterbox
综合 62
达到前沿（SOTA）水平的开源文本转语音（TTS）模型。
BRVAH 是一个强大且灵活的 Android RecyclerView 适配器库。
surya
综合 62
支持 90 多种语言的 OCR、版面分析、阅读顺序检测与表格识别工具。
liteparse
综合 62
快速、实用的开源文档解析工具。
skills
综合 62
面向设计师与工程师的核心技能与实用技巧分享。
GSYVideoPlayer
综合 62
支持多种内核、弹幕、外挂字幕、滤镜、水印及贴片广告的视频播放器。
Wan2.1
综合 62
开源且先进的大规模视频生成模型。
monolith
综合 62
可将完整网页打包保存为单个独立 HTML 文件的 CLI/GUI 工具及代码库。
lx-music-source
综合 62
洛雪音乐源。
Handy
综合 62
免费、开源且可扩展的语音转文字应用，支持完全离线运行。