新手不知道云服务器能拿来干嘛？
3 分钟看懂「服务器的作用」
每个项目都回答三个问题：它能做什么、为什么火、小白能不能装起来。
评分为规则引擎基于仓库真实数据计算，依据完全透明。
数据42 分钟前更新
小白能直接用
有 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
无需数据库
分类筛选 当前：AI 模型与开发框架 共 15 个分类有项目
共 758 个项目 · 第 17/38 页
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
texera
综合 63
Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。
cloudreve
综合 63
支持对接多种存储提供商的开源自托管网盘与文件共享系统。
nerfstudio
综合 63
一个对协作友好的 NeRF（神经辐射场）开发平台。
Sortable
综合 63
支持现代浏览器与触控设备的拖拽排序列表库，无需 jQuery 或任何框架依赖。
12-factor-agents
综合 63
构建可交付生产级用户的高可用 LLM 软件的设计原则与规范指南。
系统化交易优质资源清单，精选相关库、工具包、交易策略、书籍、博客与教程。
ACE-Step-1.5
综合 63
可在本地运行的音乐生成模型，支持 Mac、AMD、Intel 和 CUDA 设备。
visual-explainer
综合 63
用于生成图表、Diff 评审、方案审计及项目复盘等富文本 HTML 页面或幻灯片的 Agent 技能。
AI-Expert-Roadmap
综合 63
成为人工智能（AI）领域专家的学习路线图指南（2022 版）。
quickwit
综合 63
面向可观测性的云原生开源搜索引擎。
koog
综合 63
构建高容错、跨平台企业级 AI Agent 的 JVM 框架。
vit-pytorch
综合 63
Vision Transformer（ViT）的 PyTorch 简洁实现，用于图像分类任务。
基于 DeepSeek Harness 的主动式编程 Agent 原型，可监听 GitHub 或飞书指令，自动处理任务并提交 PR。
deeplearning4j
综合 63
基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。
让 Opencode 通过 OAuth 连接 Antigravity，以使用其额度访问 gemini-3-pro 等模型。
reader
综合 63
通过添加 URL 前缀，将任意网页转换为适合 LLM 读取的输入格式。
Qwen-Agent
综合 63
基于 Qwen>=3.0 的 Agent 框架，支持 Function Calling、MCP、代码解释器、RAG 及 Chrome 插件等能力。
CogVideo
综合 63
文本与图像生成视频的大模型项目，包含 CogVideoX 与 CogVideo。
redux-persist
综合 63
用于持久化和恢复 Redux Store 状态的库。