<!-- title: 论文排版换引擎，秒级出PDF -->

## 本期概述

第四轮，前三轮把 AI 编程、能源、信号气象、监控、媒体库、邮箱、财务这些象限都翻遍了，这期彻底换地图：**「文字、数据与生活」**。八个仓库没有一个依赖大模型，全部解决“离线也存在”的老问题——排版、备份、时间、库存、知识、语法、运动、习惯。其中两个是千星级的小而美，一个是拿到商业公司支持后迭代加速的新锐引擎，还有一个是把 ERP 思想搬到冰箱上的十年单人项目。选题标准只有一条：装完即用、痛点具体、五年后大概率还在。本文产自离线环境，所列 Star 数均为约数，请以各仓库页面实时数据为准。

---

## 1. typst/typst — 论文排版换引擎，编译从分钟级压到秒级

[github.com/typst/typst](https://github.com/typst/typst) | 数万星级（约数）| 高频迭代中

**一句话定位**：用现代语言设计的新一代排版系统，LaTeX 目前最像“正经接班人”的替代品。

**痛点**：LaTeX 是学术排版的默认答案，也是默认劝退——报错信息像天书、编译动辄几分钟、装个宏包环境能折腾一晚上。写论文的人真正想要的是：语法像 Markdown 一样轻，能力像 LaTeX 一样全，改一处立刻看到效果。

**核心拆解**：Rust 写成的编译引擎，标记语法极简（`= 标题`、`$ 公式 $`），同时内嵌一门真正的脚本语言——变量、函数、循环、自动编号都是一等公民，模板就是普通的 `.typ` 文件。增量编译让“保存即预览”成为现实，数学公式、表格、参考文献（BibTeX 文件直接吃）、中英混排都拿得下。官方同步运营 Web 版编辑器 typst.app，在线协作 + 免费额度 + 付费订阅，等于把商业模式也跑通了；社区的 `@preview` 包生态在快速增长。

**上手难度**：⭐⭐（会 Markdown 十分钟上手，深水区是排版微调）

**适用人群**：论文党、讲义作者、自出版写作者。**变现思路**：付费模板店（学校/期刊定制模板）、学术排版代工、出版社的 LaTeX→Typst 迁移管线，都是现成需求。

---

## 2. restic/restic — 备份这件事，十年老将只做对四件事

[github.com/restic/restic](https://github.com/restic/restic) | 两万余星（约数）| 十年项目仍在稳定发版

**一句话定位**：Go 写的单二进制备份程序，把“安全、去重、可验证、随处存”四个词做成了默认行为。

**痛点**：备份工具一大堆，但多数人要么根本没备份，要么备份了三年从没验证过能不能恢复。网盘客户端又把你的照片明文交给别人保管——备份最大的敌人是“自以为有备份”。

**核心拆解**：restic 的设计哲学值得当教材：**默认加密**（AES-256，密钥不离开你手里）、**内容定义分块去重**（一万张照片改一张，只传差的那块）、**快照可校验**（`restic check` 直接验证仓库完整性，防静默腐坏）、**后端即插即用**（本地、SFTP、S3、B2，还能借 rclone 桥接到几十种存储）。`restic mount` 能把任意快照挂载成目录随手翻，恢复体验像打开时光机。配合 systemd timer 一行配置，就是一套无人值守的加密备份体系。

**上手难度**：⭐⭐（会命令行即可，难点在备份策略设计）

**适用人群**：手握 VPS、NAS、照片库的所有人。**变现思路**：备份代管与灾恢复演服务、NAS 系统集成、“备份健康巡检”年费服务——付费意愿在出过事故的客户身上最强烈。

---

## 3. ActivityWatch/activitywatch — 注意力的账本，只记在自己电脑里

[github.com/ActivityWatch/activitywatch](https://github.com/ActivityWatch/activitywatch) | 万余星（约数）| 活跃维护

**一句话定位**：本地优先的时间统计器——你在电脑上的每一分钟花去了哪，全记在本机，不上传一个字节。

**痛点**：想知道“一天到底干了什么”，商业方案 RescueTime、Toggl 的代价是把窗口标题、浏览记录这类最私密的注意力数据交给云。量化自我这件事，第一原则本该是数据归自己。

**核心拆解**：架构是清晰的 watcher/server 两层：采集端记录前台应用、浏览器标签、AFK（离开键盘）状态，数据落到本地 SQLite，通过 REST API 对外查询，自带 Web 仪表盘按应用/域名/时段出图。最妙的是扩展机制——watcher 是插件协议，社区里有编辑器时长、音乐播放等各种自造采集器，程序员甚至能给自己写一个“IDE 停留时长”watcher。跨 Windows/macOS/Linux 全平台，一个托盘图标常驻，资源占用无感。

**上手难度**：⭐（装上即用）

**适用人群**：自由职业者（对账计时）、注意力改进党、量化自我玩家。**变现思路**：面向咨询/律师/设计团队的“隐私合规工时统计”私有部署版，与开票系统打通，比 SaaS 计时工具多一个数据不出门的卖点。

---

## 4. grocy/grocy — 把 ERP 装进冰箱：家庭库存的十年答案

[github.com/grocy/grocy](https://github.com/grocy/grocy) | 七千星上下（约数）| 单人长期稳定维护

**一句话定位**：官方口号就是 “ERP beyond the fridge”——食品库存、保质期、家务排班、购物清单，一网打尽。

**痛点**：囤的酸奶又过期了、扫地机器人滤芯忘了换、家务分工永远扯皮——家庭里这些“小事”其实就是ERP问题：库存、效期、工单。市面上 App 要么功能残缺，要么把你的生活数据当广告燃料。

**核心拆解**：PHP 单体 + SQLite，一个容器跑起来就是完整的家庭管理后台：食品按数量/保质期入库，快过期自动置顶；购物清单与库存联动；家务按周期排班；连“哪节电池该换了”这种需求都有专门模块。扫码枪 + 条码录入让入库成本趋近于零，PWA 网页在手机上像原生 App。API 完整，社区里接 Home Assistant、接语音助手、贴电子价签的玩法一应俱全。单人维护十年不辍，是这个赛道最大的可信度背书。

**上手难度**：⭐⭐（Docker 起服务快，初次建库录商品要花点功夫）

**适用人群**：家庭掌柜、囤货党、合租宿舍。**变现思路**：民宿/小餐馆的耗材台账二开、“家庭管家”装机服务，以及把条码库本地化的行业版本。

---

## 5. Kiwix — 把整座维基百科随身携带的离线阅读器

[github.com/kiwix/kiwix-android](https://github.com/kiwix/kiwix-android) | 两千星上下（约数，org 下多仓库生态）| 多仓库滚动更新

**一句话定位**：读 ZIM 格式离线内容包的阅读器家族——维基百科全站、WikiHow、Stack Overflow 镜像、古登堡书库，断网照读。

**痛点**：这个世界上有大量地方没有稳定网络：远洋货轮、山区学校、灾后现场，还有网络被审查的环境。而对另一些人来说，问题是“查个维基也要依赖网络与账号”。知识要是只能在云端活着，它就不算真正属于你。

**核心拆解**：核心是 ZIM 开放格式——把整个网站压缩成单个可随机读取的档案文件，配套阅读器覆盖安卓/iOS/桌面/浏览器插件/树莓派。完整英文维基含图片在百 GB 量级，无图纯文版小得多，装进 U 盘或旧手机即可；更硬核的玩法是拿树莓派架个热点，一间教室的设备同时离线访问。项目常年服务离线地区教育、图书馆和狱中教学计划（据 Kiwix 官网介绍），是这个名单里社会价值浓度最高的一个。

**上手难度**：⭐（下载内容包即用）

**适用人群**：旅行者、教育公益组织、图书馆、内容存档党。**变现思路**：离线数字图书馆一体机（学校/海船/矿区）、行业知识库离线打包与更新订阅服务。

---

## 6. Automattic/harper — 语法检查的内核，被搬回了本地

[github.com/Automattic/harper](https://github.com/Automattic/harper) | 数千星（约数，增速快）| 迭代活跃

**一句话定位**：Rust 写的本地英语语法检查引擎，毫秒级响应，一个字都不上传——还带着 LSP，直接长在你的编辑器里。

**痛点**：Grammarly 们证明了这个需求真实存在，也证明了商业模式“依附于云”：常驻后台、按年订阅、每一段文字都要先过别人服务器。而程序员真正的写作现场是编辑器——README、commit message、技术邮件，在那里语法工具反而最缺位。

**核心拆解**：Harper 的聪明之处在于把自己定位成“内核”而非“应用”：核心是纯 Rust 的规则与词典引擎，对外暴露 LSP（语言服务器协议）——于是 Neovim、Zed、VS Code、Helix 等编辑器通过现成插件立刻获得语法红线，Obsidian 也专门的社区插件，笔记写到哪标到哪。支持美/英/加/澳多方言词典，规则引擎可扩展，全程离线。项目起于个人side project，后获得 Automattic（WordPress 母公司）支持并归入其组织名下（据其仓库与社区公开信息），迭代明显提速。

**上手难度**：⭐⭐（装个编辑器插件即用）

**适用人群**：用英文写文档的开发者、非母语邮件党、Obsidian 重度用户。**变现思路**：办公套件的本地语法引擎授权（隐私卖点直击欧洲市场）、写作类硬件/应用的内嵌集成。

---

## 7. SamR1/FitTrackee — 跑步骑车的日志，不必交给 Strava

[github.com/SamR1/FitTrackee](https://github.com/SamR1/FitTrackee) | 千余星（约数，小而美①）| 多年持续迭代

**一句话定位**：自托管的运动记录聚合站——GPX/FIT 文件导进去，路线、配速、周月统计全都有，数据躺在自己服务器上。

**痛点**：跑者骑行党的训练史大多存在 Strava 上，可十年轨迹、心率、路线全集是极私密的档案：平台改版、限流、涨价、倒闭，谁都做不了主。想要一个“自己的训练账本”，选择其实极少。

**核心拆解**：Python/Flask + Postgres 的经典组合，docker-compose 数行起服务。核心功能是运动日志的地基三件套：导入记录文件并渲染路线地图、按周/月/年出统计图表、设定年度目标看进度；多运动类型分别记账，支持从主流平台导入历史文件（对接细节以仓库文档为准）。界面朴素但信息密度高，正是“工具而非社区”的定位——不点赞、不排行，只有你和你的曲线。单人开发者多年稳定迭代，千余星里含金量很高。

**上手难度**：⭐⭐（会 docker-compose 即可）

**适用人群**：数据主权敏感的跑者骑行者、私人教练。**变现思路**：教练工作室的私有训练平台（部署 + 课表模块二开），比给 SaaS 交年费更对小团队胃口。

---

## 8. daya0576/beaverhabitat — 一个容器，接住“坚持”这件难事

[github.com/daya0576/beaverhabitat](https://github.com/daya0576/beaverhabitat) | 千星上下（约数，小而美②）| 轻量持续维护

**一句话定位**：极简自托管习惯打卡——一个容器加一个 SQLite 文件，就是全部运维成本。

**痛点**：习惯打卡是 App 商店里同质化最严重的品类，大众产品的结局都一样：塞广告、逼订阅、数据锁死。而想自己搭一个的人，又常被“Postgres + Redis + 六个环境变量”的部署清单劝退——打卡工具本该是最轻的自托管入门项目。

**核心拆解**：FastAPI + Vue + SQLite 的极简栈，单容器部署，数据就一个文件，备份等于复制粘贴。核心体验克制到近乎冷酷：习惯列表、打卡、日历热图，没有社交、没有奖励商店——但热图本身就是行为设计里最有效的那根钩子，GitHub 贡献格子证明了这一点二十年。它同时是绝佳的“自托管第一课”教材：从 docker run 到反代 HTTPS，一条完整链路在一个两百行的项目里全走一遍。

**上手难度**：⭐

**适用人群**：自托管新手（练手首选）、极简打卡党。**变现思路**：打卡社群的白标后端、私域运营工具的最小可用底座，以及作为教学案例的付费部署教程。

---

## 本期横向对比

| 仓库 | 领域 | Star（约数） | 上手难度 | 一句话场景 |
|------|------|-----------|---------|-----------|
| typst/typst | 排版出版 | 数万星 | ⭐⭐ | 论文讲义秒级编译 |
| restic/restic | 数据备份 | 两万余星 | ⭐⭐ | 加密去重的时光机 |
| ActivityWatch | 时间统计 | 万余星 | ⭐ | 注意力账本全本地 |
| grocy/grocy | 家庭管理 | 七千上下 | ⭐⭐ | 冰箱上的家庭ERP |
| kiwix-android | 离线知识 | 两千上下 | ⭐ | 整座维基随身带 |
| Automattic/harper | 写作工具 | 数千星 | ⭐⭐ | 编辑器里的本地语法检查 |
| SamR1/FitTrackee | 运动数据 | 千余星 | ⭐⭐ | 自己的训练账本 |
| daya0576/beaverhabitat | 习惯养成 | 千星上下 | ⭐ | 一个容器的打卡本 |

## 本期结构图

```mermaid
mindmap
  root((本期八仓))
    文字与出版
      Typst 排版引擎
      Harper 本地语法检查
    数据主权
      restic 加密去重备份
      ActivityWatch 时间账本
    家庭运营
      grocy 家庭ERP
      Beaver 习惯打卡
      FitTrackee 运动日志
    离线知识
      Kiwix 随身维基
```

## 本期之最

- **最值得立即尝试：Harper**。装一个编辑器插件，今天下午你的 README 和英文邮件就有了语法红线——零迁移成本，体验过“本地毫秒级”就回不去云端了。
- **最有商业潜力：Typst**。排版是学术出版界的刚需基建，官方订阅制已验证跑通，模板生态、期刊定制、迁移管线，每一层都养得起一批小公司。
- **最被低估：grocy**。把 ERP 的思想搬到冰箱上，单人维护十年、功能完成度惊人，知道的人却远不够多——家庭这个“最小组织”的管理软件，本来就该长这样。

## 一条可以把它们串起来的路径

`Harper` 把英文文档改利落 → `Typst` 排成 PDF 交付 → 成品和源文件交给 `restic` 加密备份 → `ActivityWatch` 结算这周到底写了几个小时 → 周末用 `grocy` 清点冰箱、`Beaver` 打上今天的卡。八个仓库没有一个是风口，但每一个都在五年后大概率还会陪你记账。

## 参考来源

1. [typst/typst 仓库主页](https://github.com/typst/typst) — 新一代排版系统源码与文档
2. [Typst 官方 Web 应用](https://typst.app) — 在线编辑器与订阅模式
3. [restic/restic 仓库主页](https://github.com/restic/restic) — 备份程序源码；[官网](https://restic.net)含设计文档
4. [ActivityWatch/activitywatch 仓库主页](https://github.com/ActivityWatch/activitywatch)；[官网](https://activitywatch.net) — 本地时间统计架构说明
5. [grocy/grocy 仓库主页](https://github.com/grocy/grocy)；[官网](https://grocy.info) — 家庭 ERP 功能清单
6. [Kiwix 官网](https://www.kiwix.org) — ZIM 格式与离线使用场景（含教育/狱中计划介绍）；[kiwix/kiwix-android](https://github.com/kiwix/kiwix-android)
7. [Automattic/harper 仓库主页](https://github.com/Automattic/harper) — 本地语法检查引擎与编辑器插件列表
8. [SamR1/FitTrackee](https://github.com/SamR1/FitTrackee) 与 [daya0576/beaverhabitat](https://github.com/daya0576/beaverhabitat) 仓库主页 — 两个千星级小而美

> 注：本文产自离线环境，未能逐仓库核对实时数据；Star 数为量级约数，功能描述基于各仓库长期公开的文档与社区资料整理，请以仓库页面实时信息为准。

> [!tip] 51学通信知识星球
> **星主：爱卫生**（微信：gprshome201101）——公众号「51学通信」创办者，19 年通信行业运维与讲师经验，著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书（各大电商平台有售）。
> **星球定位**：深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域，主打运维岗位与信令分析。
> **当前规模**：5200 篇主题 / 990 个回答，198 元/年。
> **加入福利**：加入星球后请加爱卫生微信，拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题，另有群内分享。
> **AI 加持**：51学通信知识星球已作为 skill 接入 WorkBuddy，使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例，做总结、找文档和 PPT 等场景全覆盖。

![51学通信知识星球海报-扫码加入](https://wiki.500nian.com/images/zhixingqiu_qrcode.png)
