新手不知道云服务器能拿来干嘛?
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 个分类有项目
共 416 个项目 · 第 12/21 页
MarkEdit
综合 54
类似 Mac 上 TextEdit 的轻量级 Markdown 专用编辑器。
eff
综合 54
eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器(Monad Transformers),解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用(Eff monad),开箱支持 Reader、Writer、State 等常用效果,并允许开发者自定义副作用栈。
wikipedia-ios
综合 54
Wikipedia(维基百科)官方 iOS 客户端。
nix-vscode-extensions
综合 54
nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取,为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装(Flake),方便开发者用 Nix 管理并安装主流平台(Linux、Darwin)的插件。
jimureport
综合 54
积木报表:涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。
ChromeAppHeroes
综合 54
为优秀的 Chrome 插件编写的中文说明书与推荐指南。
apps-android-wikipedia
综合 54
Wikipedia 官方 Android 客户端。
awesome-english-ebooks
综合 54
免费下载《经济学人》(含音频)、《纽约客》等英文原版杂志,支持 EPUB、MOBI、PDF,每周更新。
mdBook
综合 54
基于 Rust 开发的文档生成工具,可将 Markdown 文件制作为电子书,类似 GitBook。
swift-markdown
综合 54
用于解析、构建、编辑和分析 Markdown 文档的 Swift 宏包。
project-m36
综合 54
Project:M36 是一个纯 Haskell 开发的关系代数引擎,旨在解决传统 DBMS 偏离数学原理、不够严谨的问题。它严格遵循纯正的关系代数,支持 TutorialD 与 SQL 交互,可用作进程内或远程数据库后端,适合学习关系代数与规范化数据存储。
saw-script
综合 54
saw-script 是基于 Haskell 开发的软件分析工作台(SAW)。它主要解决多语言程序的形式化验证问题,支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口,结合 Z3 等 SMT 求解器完成代码的形式化验证。
scalacss
综合 54
〔中文简介暂未生成〕 Super type-safe CSS for Scala and Scala.JS.
tldr (命令行速查手册)
综合 54
针对传统 man 手册过于冗长复杂的问题,tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明,聚焦于最实用的命令示例,涵盖 Linux、macOS、Windows 等多系统的常用工具,帮助开发者迅速上手命令,支持多种客户端和网页查阅。
PDFMathTranslate
综合 54
基于 AI 完整保留排版的 PDF 文档双语翻译工具,支持多种翻译服务与多端接入。
scalamock
综合 54
〔中文简介暂未生成〕 Native Scala mocking framework
zio-prelude
综合 54
ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库,可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级,深度融合 Scala 子类型特性与 ZIO 生态,提供常用代数抽象与实用数据类型(如 NonEmptyList、Validation 等),帮助开发者更简单、务实地组合类型与处理数据。
Python
综合 54
实用的 Python 脚本合集,包含模拟登录知乎、爬虫、操作 Excel、公众号及远程开机等功能。
中国程序员容易发音错误的单词汇总。
frontend
综合 54
Frontend 是《卫报》(The Guardian)网站的后端服务系统。它基于 Scala 和 Play 框架构建,核心功能是处理并生成结构化 JSON 数据,提供给前端渲染服务(Dotcom Rendering)展示页面,同时严格保障响应速度与单次 I/O 限制等高性能指标。