XAMLMath（前身 WPFMath，2023 年加入 Avalonia 支持后改名）是一组 .NET 库，用于在 WPF 和 Avalonia XAML 应用中以 LaTeX 排版风格渲染数学公式。它不是 LaTeX 编译器，也不依赖外部 TeX 发行版——纯托管代码解析 \frac、\sqrt、\begin{matrix}...\end{matrix}…
仓库攻略
51 篇 · 51 个项目 · spark · 工程化
这是 Victor Dibia（Microsoft Research 首席研究软件工程师、AutoGen 与 AutoGen Studio 作者）所著《Designing MultiAgent Systems: Principles, Patterns, and Implementation for AI Agents》（2025）的官方配套代码仓库。仓库核…
CORAL 是一个面向「自动研究 / 自动进化」场景的多智能体基础设施。它不是某个具体模型，而是把"让多个 coding agent 持续跑实验、共享笔记、互相学习、迭代解法"这件事做成一套可以一键拉起的运行时：把现有代码库喂给它，再配一个打分器（grader），CORAL 就接管剩下的活——隔离工作区、跑评估、维护共享状态、调度多 agent 协作。 原生…
bwiernik/zoteroshortdoi 是一个轻量级 Zotero 插件（XPI），只做一件事：自动从 CrossRef API 抓取期刊文章的 DOI，并通过 shortdoi.org 服务获取 shortDOI，同时对已存在的 DOI 做合法性校验并标记无效项。 它的功能面非常克制——没有 PDF 解析、没有翻译、没有 AI 摘要——但它解决的是…
zotero/translators 是 Zotero 官方维护的翻译器（translator）仓库——它是 Zotero 文献管理工具生态里"网页抓取 / 格式互转 / 标识符查询"三件能力的中央实现。每个 translator 是一个独立的 JavaScript 文件，由 Zotero Connector 在浏览器侧或 Zotero 桌面端在运行时加载。…
mathjax/MathJaxsrc 是 MathJax v3 及之后版本的源代码仓库(TypeScript 编写)。MathJax 本身是一个开源的浏览器/Node.js 数学公式渲染引擎,支持 LaTeX、MathML、AsciiMath 三种输入语法,自带无障碍支持(屏幕阅读器 + expression explorer),浏览器用户零安装(纯 CDN…
rebiber 是 Bill Yuchen Lin（LIN 等 ACL/EMNLP 圈引用率最高的那批作者）开源的 BibTeX 规范化工具：把 .bib 文件里那些"半成品"的 arXiv 预印本、DBLP 残缺记录、ACL Anthology 早期条目，就地替换为官方 DBLP / ACL Anthology 的完整、规范化、可引用的元数据。cite k…
l0o0/translators_CN 是一个社区维护的 Zotero translator 集合，专门面向中文（含两岸三地）学术网站、资源平台、期刊数据库。Zotero 官方仓库内置的中文 translator 长期更新缓慢，老旧 converter 在知网（CNKI）、万方、维普、CSDN 中文博客、读秀、超星、各类中文期刊全文页经常抓取失败、抓不全字段…
Agent Governance Toolkit (AGT) 是微软在 20252026 年推出的开源 agent runtime governance 工具箱。它不重做 agent 框架，而是在 LangChain / CrewAI / OpenAI Agents / AutoGen / Google ADK 等任意框架外，套一层"policy enfor…
REMath/literature_review 是一份 机器码程序分析（program analysis on machine code） 领域的文献综述仓库，存在于 master 分支。仓库根目录是一个 GitHub Pages 索引页（README 直接渲染成网页），下挂若干 .org 文件（Emacs Orgmode 格式），按子主题分文件——例如 …
zoterocitation 是 Zotero 的一个第三方插件（addon / Word 加载项），目标是让 Zotero 在 Word 里的引文插入与管理工作流"更顺手、更清晰"。作者是 Zotero 插件圈知名的 MuiseDestiny（旗下还有 zoteroattanger、zoteroreference 等面向中文用户的工具链），基于 zoter…
Gen2Recomped 是把任天堂 Game Boy / Game Boy Color 上的《精灵宝可梦 金/银》（以及兼容的 Crystal、红/蓝/黄）静态重制为可在现代平台原生运行的 LÖVE2D（Lua）项目的 fork。它基于 Gen1Recomp 的 Gen I 引擎，在其上叠加了完整的 Gen II 模块：Gen 2 脚本虚拟机与指令表、城都…
texstudioorg/texstudio(前身 benibela/texstudio,后由独立组织接管)是面向 LaTeX 的开源跨平台集成编辑器(IDE)。官方目标是"把 LaTeX 写作变得尽可能轻松舒适"——用 Qt 构建,支持 Windows / macOS / Linux。代码体量很大(仓库根目录就含 src/、completion/、temp…
rstudio/bookdown 是 RStudio/Posit 出品的开源 R 包(GPL3),作者以 Yihui Xie 为主。核心目标:用 R Markdown(.Rmd) 作为单一源文件,一键产出印刷级图书、技术报告、长文章、教程,输出格式覆盖 HTML(分章节的 gitbook / bs4_book)、PDF(LaTeX)、EPUB、Word。 它…
这是一套面向 Offensive Security(OffSec)考试体系(OSCP / OSWE / OSEE / OSWP / OSEP / OSED / OSWA / OSDA / OSMR / OSTH / OSIR)的 Markdown 报告模板仓库,作者 noraj。核心思路:考生在 24 小时考试窗口里写渗透测试报告时,不再依赖 LaTeX 或…
humanizetext 是 lynoteai 维护的「AI 文本人类化」开源 Python 工具包。它本质上是把「让 AI 生成文本读起来更像人写的」这件事拆成两条路径： 4 套参考实现（v1.0 沉淀）：翻译链、多轮 LLM 改写、检测器反馈循环、混合引擎翻译。 1 套标准流水线（v1.5.1 现行生产推荐版）：把方法 1（翻译链）+ 方法 2（LLM …
NulightJens/humanizerstack 是一个面向 Claude Code 的双通道（twopass）"AI 写作去机器味"管线，把"表层词面改写"和"结构层改写"拆成两个独立 skill： skills/humanizer/ — Pass 1：词汇、标点、句法层面的修整（基于 Wikipedia "Signs of AI writing" +…
skyhookio/radar（也称 Radar）是一个面向 Kubernetes 的开源可视化与诊断工具，由 YC W23 投资的 Skyhook 公司维护，Apache2.0 协议。它用一个 约 30 MB 的 Go 单文件二进制 提供： 给人类看的 Web UI（Topology、Resources、Timeline、Helm、Compare、GitO…
vercellabs/agentskills 是 Vercel 官方维护的 AI 编码代理技能合集（注意区分：姐妹仓库 vercellabs/skills 是 npx skills 这个 CLI 包管理器本身；本仓库是内容合集）。每个 skill 是一份符合 Agent Skills 规范的 SKILL.md，外加可选的 scripts/ 与 referen…
DramaClaw 是一套"工业级短剧 AIGC 生产线"的社区版（Community Edition / CE），由 dramaclaw 团队自用后开源。它把"小说 → 知识图谱 → 分集/分镜 → 剧本 → 分镜图与首帧 → 配音 → 合成成片"整条链封装在一个 Docker 编排里，强调"一套跑到底、关掉浏览器也能交付成片"，目标是把原本只有大厂才拼得…
一个超大型 Claude Code Skill / Plugin 聚合库。截至本攻略抓取时刻(HEAD aa8d7788,20260717 Merge PR #922),自报数字:345 skills + 30+ agents + 70+ custom commands + 644 stdlibonly Python CLI scripts + 741 个 …
anthropics/skills 是 Anthropic 官方维护的 Agent Skills 示例与规范仓库。所谓 "Skill"(在 Anthropic 体系里),是一个带 YAML frontmatter 的 Markdown 指令包:一个文件夹 + 一份 SKILL.md + 一组可选脚本/资源,Claude 在识别到任务匹配时会动态加载并执行它。…
版本说明：仓库 README 中没有写死顶层版本号，文档站 inference.roboflow.com/using_inference/about 自称 "Inference 1.0"，PyPI 上 inferencesdk 的最新轮转版本为 1.3.x（如 1.3.7）——下面的命令以当前 README 与 PyPI 通用写法为准，不写死小版本号，使用 …
huggingface/optimum 是 Hugging Face 推出的 Transformers / Diffusers / TIMM / SentenceTransformers 的硬件优化扩展库。它把"同一套 HF 模型"映射到多种推理后端与训练硬件上，让用户用同一份 API 跑出"在目标硬件上的极限性能"——既负责 导出（ONNX、OpenVIN…
Paddler 是一款用 Rust 写的开源 LLM/VLM 推理负载均衡与服务平台。架构非常克制：只有两个组件——balancer（对外暴露 OpenAI 兼容推理接口、管理面和 Web 控制台）和 agent（真正跑推理，注册到 balancer 上即可上线）。底层直接用 llama.cpp 推理引擎（fork 版本，Paddler 自己实现了 slot…
envd（ɪnˈvdɪ，读作 "invideo"）是 TensorChord 开源的一个面向 AI/ML 的容器化开发环境构建工具。它用一个声明式的 build.envd 文件描述你的训练/推理环境，然后用一个 envd up 命令把它打包成 OCI 兼容的镜像，并在本地（或远端 K8s 集群）跑起来。 它不是 Dockerfile 的替代品那种简单封装——…
FastDeploy 是百度飞桨（PaddlePaddle）团队推出的"LLM + VLM 推理部署工具包"，主打工业级一键部署和国产芯片广覆盖。它的目标不是要替代 vLLM，而是站在 vLLM 接口的肩膀上，把 ERNIE、Qwen3、DeepSeekV3、PaddleOCRVL 等模型在 NVIDIA、昆仑芯 XPU、海光 DCU、天数 GPU、燧原 G…
FastVideo 是 MBZUAI Hao Zhang 实验室主导的"统一视频生成推理 + 后训练（蒸馏/微调）框架"。它不是某个视频生成模型本身，而是一套面向 DiT 类视频扩散模型（Wan、Mochi、Hunyuan、CausalWan 等）的训练蒸馏推理一站式底座，目标是让视频生成既能微调，又能跑得快、跑得便宜。 仓库内同时包含 4 个层次的产出： …
Apache Burr（incubating）是一个 Python 状态机框架，用来构建"会做决策的应用"——chatbot、agent、simulation、人机协作工具。它把应用建模成一张 state machine（状态机/流程图）： Burr 的关键设计哲学是 "框架无关"：它不规定你必须用哪个 LLM SDK、哪个 vector DB、哪个 age…
Apache Hamilton（incubating）是一个轻量的 Python 库，用"Python 函数即节点"的方式构建数据转换 DAG。它的核心思路是：你写普通的 Python 函数，函数参数的名字 = 它依赖的上游节点名，Hamilton 自动把这些函数拼成 DAG、并按依赖顺序执行。 举例： import pandas as pd def sig…