TFPT（Topological FixedPoint Theory，非拓扑学中的 BrouwerLefschetz 理论）是 Stefan Hamann 和 Alessandro Rizzo 的一个理论物理项目，声称仅从两条公理出发，用离散代数编译器推导出标准模型的基本粒子谱和几个宇宙学常数。项目特点：所有核心结论均由机器验证，附有 947 个独立检验模块…
仓库攻略
142 篇 · 141 个项目 · 工程化 · 工程化
Zotfile 是 Zotero 上的一款老牌附件管理插件，核心三件套： 1. 自动重命名 + 移动 PDF——按 Zotero 条目的元数据（作者年份标题期刊）把散落在 Downloads/、Desktop/ 的 PDF 重命名并放到统一目录； 2. 平板/手机 PDF 阅读器同步——把 Zotero 库里的 PDF 推送到 iPad、Android 平板…
Ultracite 是一个「开箱即用、零配置」的 JavaScript / TypeScript 代码检查与格式化预设。它的核心思路是把 ESLint、Biome、Oxlint 这些主流 lint/format 工具链中最常见的「已经被反复验证过的规则」打包成一份共享配置，让用户只需一条命令就把项目接入一套生产级别的代码规范，而不必从零手写 .eslintr…
mhattingpete/claudeskillsmarketplace 是一个 Claude Code 插件市集，收录了围绕软件开发全流程的 Skills（技能）和 Agents（智能体）。与普通的 slash 命令不同，Skill 由 Claude Code 根据上下文自动触发——你描述需求，Claude 判断是否调用对应技能。 核心解决的问题：把常见的…
XAMLMath（前身 WPFMath，2023 年加入 Avalonia 支持后改名）是一组 .NET 库，用于在 WPF 和 Avalonia XAML 应用中以 LaTeX 排版风格渲染数学公式。它不是 LaTeX 编译器，也不依赖外部 TeX 发行版——纯托管代码解析 \frac、\sqrt、\begin{matrix}...\end{matrix}…
HFlow 是一个开源 SDK，专为机器人和 Physical AI 场景设计的多模态数据流水线工具。它的核心功能是：把原始的多模态 episode 数据（视频、状态、动作、时间戳、元数据）经过质量检查、转换、富化、筛选 curation，最终产出干净、可查询、带 provenance 的训练数据集。 一句话说清：HFlow 让机器人数据团队用普通 Pyth…
AngouriMath 是一个开源、跨平台的符号代数库，使用 C# 开发（同时支持 F# 和实验性 C++），可同时用于生产项目和科研场景。与纯数值计算库不同，AngouriMath 处理的是符号运算——可以理解 x^2 + sin(y) 这样的数学表达式，自动求解方程、求导求积、化简多项式、生成 LaTeX，并编译为高效的原声 Lambda 函数。项目同时…
Zotero 元数据格式化插件（又称 Zotero Linter）——一款面向 Zotero 7 的开源插件，自动化批量修正文献条目的元数据字段。它不是"只警告不修复"的 lint 工具，而是直接原地修正，涵盖标题大小写、期刊缩写、作者姓名格式、DOI 规范化、语言检测、PDF 页数补全、学位论文信息等二十余类规则。 适用人群：需要维护干净学术文献库的研究者…
Grafbase 是一个用 Rust 编写的自托管 GraphQL Federation 网关，用于将多个微服务、遗留系统或第三方 API 统一成单一 GraphQL 端点。它曾是 The Guild 商业产品的开源核心，2024 年被 The Guild 收购后逐步转型。 ⚠️ 重要声明（202605 动态）：Grafbase 平台本身（Dashboard…
novathesis 是一个面向学术论文（ dissertation / thesis ）的开源 LaTeX 模板，基于 memoir 文档类构建，支持全球 25+ 所高校的封面格式自动生成，提供从安装到提交的完整工作流。项目由 João Lourenço 维护，开源协议为 LPPL v1.3c。 学位论文格式繁琐是全球研究生的共同痛点：封面页、书脊、章节标…
ctexkit 是面向中文 TeX 用户的宏包集合，为 XeLaTeX / LuaLaTeX / pdfLaTeX 提供统一的中文排版基础设施。项目由 CTeX 社区 维护，汇集了 ctex、xeCJK、zhspacing 等多条技术路线的成果。所有宏包均已收录于 TeX Live 和 MiKTeX，可直接使用，无需手动安装。 中文 LaTeX 排版长期面临…
zoteropkg 是由社区开发者 retorquere 维护的 Zotero（以及 JurisM）Debian/Ubuntu 系 Linux 系统包仓库。它将 Zotero 官方 tarball 打包成 .deb 包，提供系统级安装（/usr/lib/zotero）和完整的桌面文件注册、MIME 类型关联，并在 Zotero 发布新版本后 2 小时内同步更…
zoteropdfpreview 是 Zotero 的一个插件，在 Zotero 文献库界面中直接预览 PDF 附件，无需打开外部 PDF 阅读器即可查看文档内容。支持预览区域可调整、注释显示、缩放控制、暗模式和多页切片显示。该插件由 Zotero 插件开发者 windingwind（也是 zoteropdftranslate、zoterobetternot…
kodusai（品牌名 Kodus）是一个模型无关的 AI 代码审查平台，让你在自己的 Git 工作流（GitHub / GitLab / Bitbucket / Azure Repos）中接入 AI 审查，同时完全控制底层使用的 LLM 模型，且不在 LLM 调用成本上收取任何差价（零 markup）。 Kodus 的核心定位是：打破 AI 代码审查工具的…
obsidiancitationplugin 是 Obsidian 的第三方插件，将学术文献管理器（核心支持 Zotero + Better BibTeX）与 Obsidian 编辑体验深度打通。它让你在 Obsidian 内直接搜索文献、自动创建和管理论文/书籍的「文献笔记」（Literature Notes），并以标准引用格式链接回来。 核心解决的痛点：…
argenos/zoteromdnotes 是一款 Zotero 5 的插件（plugin），用于将文献条目的元数据及其笔记导出为 Markdown 文件，从而支持用户在 Obsidian、Logseq 等双链笔记工具中直接引用 Zotero 文献库。导出内容包括：题名、作者、期刊、年份、DOI、摘要等标准引用字段，以及 Zotero 内部笔记（notes）…
yamlresume 是一个简历即代码工具：用 YAML 写简历内容，用命令行生成专业排版的 PDF / DOCX / HTML / Markdown 输出。它源自 PPResume（一个 LaTeX 简历构建器），核心理念是关注点分离——内容与样式分离，YAML 管内容，LaTeX/Templating 管排版。 最大的差异化卖点是：一次 YAML，生成多…
phodal/aigc 是一本关于大语言模型在真实世界应用的开源电子书（英文名：Unlocking the Potential of LLM: RealWorld Use Cases），由 Thoughtworks 架构师 phodal（李洁）主导，联合社内同事与开源社区于 2023 年上半年完成。内容覆盖 Prompt 编写模式、上下文工程、LLM 应用架…
zotero/translators 是 Zotero 官方维护的翻译器（translator）仓库——它是 Zotero 文献管理工具生态里"网页抓取 / 格式互转 / 标识符查询"三件能力的中央实现。每个 translator 是一个独立的 JavaScript 文件，由 Zotero Connector 在浏览器侧或 Zotero 桌面端在运行时加载。…
mcdowellcv 是一个基于 Gayle L. McDowell（Career Cup 创始人）简历设计理念的 LuaLaTeX 类文件（mcdowellcv.cls），用于生成简洁、节省空间且视觉效果专业的简历（CV）。 它的设计特点是以紧凑的布局在有限篇幅内最大化信息密度，视觉上采用粗体小写字母（small caps）作为章节标题，配合横向分隔线，属…
supprzoteroplugin（超能文献 Zotero 翻译插件）是一款将 AI 文档翻译能力深度集成进 Zotero 文献管理环境的 Zotero 插件。由 WildDataX 团队开发，基于 Zotero Plugin Template（经原作者 @windingwind 授权），使用 TypeScript + React + Webpack 构建。…
gt 是 R 语言中的一个包，用于生成信息丰富、出版品质的展示表格（display tables）。它由 Posit（原 RStudio）团队维护，核心维护者是 Rich Iannone。gt 的设计哲学是「用一套统一的表格部件来构建各种实用表格」，表格部件包括：表头（header）、存根（stub，表格左侧的标签列）、列标签、跨列大标题、表体和表脚。 gt…
tikzplotlib 是一个 Python 工具，用于将 matplotlib 生成的图表导出为 PGFPlots（PGF/TikZ）格式，从而可以原生嵌入 LaTeX 或 ConTeXt 文档。它最初叫 matplotlib2tikz，后来更名为 tikzplotlib，当前由 Nico Schlömer（nschloe）维护。 它的核心价值在于：mat…
mathjax/MathJaxsrc 是 MathJax v3 及之后版本的源代码仓库(TypeScript 编写)。MathJax 本身是一个开源的浏览器/Node.js 数学公式渲染引擎,支持 LaTeX、MathML、AsciiMath 三种输入语法,自带无障碍支持(屏幕阅读器 + expression explorer),浏览器用户零安装(纯 CDN…
TeXMe 是一个极简的 JavaScript 工具，用于创建自渲染 Markdown + LaTeX 文档。它的核心思路是：在 .html 文件里写 Markdown 内容，然后在任意浏览器中打开——页面自带一行 <script 标签，就能自动把 Markdown 渲染成 HTML、把 LaTeX 公式渲染成 MathJax，整个过程无需任何构建步骤、服务…
SwiftLaTeX 是一个基于 WebAssembly 的浏览器端 LaTeX 编辑器/引擎，支持 PdfTeX 和 XeTeX 两种引擎，在浏览器中完全本地运行（所有计算不经过服务器），可选 WYSIWYG（所见即所得）编辑模式。 官方 Demo： 传统的 LaTeX 编写需要本地安装完整的 TeX 发行版（如 TeX Live 或 MiKTeX），安装…
Notero 是一个 Zotero 插件，将 Zotero 中的文献条目（items）和笔记（notes）同步到 Notion 数据库。它解决的是"文献管理在 Zotero，写作与笔记在 Notion"割裂的问题——让两个工具无缝联动，不需要手动复制粘贴元数据。 写学术论文时，很多人用 Zotero 管理 PDF 和引用，用 Notion 做阅读笔记和知识库…
Zotero Night 是一个为 Zotero 6 打造的夜间/暗黑主题插件，基于 Nord 配色方案开发，同时支持 Zotero 主界面和 PDF 阅读器的暗黑显示。 核心功能： 深色系 UI 主题（两档可选：极深黑 / 与背景色匹配的柔和黑） PDF 阅读器暗黑滤镜（通过 CSS filter 函数实现） 动画效果和 UI 微调 Tab 栏清理 ⚠️ …
saadq/resumake.io 是一个用于自动生成优雅 LaTeX 简历的 Web 应用的源代码仓库。由 Saad Quadri 开发，MIT 许可证开源。核心功能是：用户无需编写任何 TeX 代码，只需在网页上填写信息（姓名、学历、工作经历、项目等），选择模板，即可生成专业的 PDF / LaTeX / JSON 格式简历。输出的 JSON 格式与 J…
latex3/latex2e 是 The LaTeX Project 维护的 LaTeX2e 内核源码仓库。它托管了 LaTeX 核心发行版的开发源码，包括内核本身（base）、文档（doc）、必需工具（tools）、图形与颜色支持（graphics）、数学支持（amsmath）、LaTeX 急救包（firstaid）以及 latexlab 实验性模块。 ⚠…