仓库/Skill 库

面向人类与 AI 的便携式证明基础设施。Portable proof infrastructure for humans and AI.

学术论文专用 XeLaTeX 双面专业论文模板。具备简洁排版、可定制章节样式、边注、高级排版与精心组织的结构，服务高质量科学写作。A professional two-sided XeLaTeX thesis template designed for academic dissertations. Features a clean layout, customizable chapter styles, margin notes, advanced typography, and a well-organized structure for high-quality scientific writing.

面向学术论文的专业双面 XeLaTeX 论文模板。具备简洁排版、可定制章节样式、边注、进阶排版与结构清晰的高质量科学写作支持。A professional two-sided XeLaTeX thesis template designed for academic dissertations. Features a clean layout, customizable chapter styles, margin notes, advanced typography, and a well-organized structure for high-quality scientific writing.

用于科学写作的简洁作者处理器A simple author handler for scientific writing

在浏览器中演示 PDF。支持演讲者备注、mp4/YouTube/Vimeo 等功能！除非明确共享，演示内容始终保留在你的本地设备上。Present PDFs from your browser. Including speaker notes, mp4/YouTube/Vimeo support and more! Presentations stay on your machine unless explicitly shared!

别再同时处理太多事，开始真正把事做完。GSD Task Manager 让你可以轻松把待办按"紧急"和"重要"分类，从而在不至于精疲力竭的情况下把事情搞定。简单直观、完全离线运行。Stop juggling, start finishing. GSD Task Manager makes it easy to sort your to-dos into what’s urgent and what’s important, so you can finally get stuff done without burning out. It’s simple, visual, and works entirely offline.

美赛/ICM综合准备资源库。包含可复用的数学建模Python代码、LaTeX/Word模板、数据分析笔记本和历年赛题组织。旨在优化竞赛流程，促进可复现研究。A comprehensive toolkit for MCM/ICM preparation. Features reusable Python code for mathematical modeling, LaTeX/Word templates, data analysis notebooks, and organized past problems. Aimed at streamlining the contest workflow and fostering reproducible research.

邦德大学 IEBH 的系统综述加速器 (SRA)The Systematic Review Accelerator (SRA) for the Bond University IEBH

为 R 语言可复现研究项目生成高质量 README。High quality README generation for reproducible research projects in R.

BibexPy 是一个基于 Python 的软件，旨在简化文献计量数据整合、去重、元数据增强和格式转换。它通过自动化传统的手动且易出错的任务，简化了高质量数据集的准备，以用于高级分析。BibexPy is a Python-based software designed to streamline bibliometric data integration, deduplication, metadata enrichment, and format conversion. It simplifies the preparation of high-quality datasets for advanced analyses by automating traditionally manual and error-prone tasks.

[CoLM 2026] MoANT 官方代码：面向多任务大语言模型微调的语义感知秩一专家混合模型[CoLM 2026] Official code for MoANT: Mixture-of-Rank-One-Experts with semantic-aware Intuition for Multi-task Large Language Model Finetuning

🚀 掌握 prompt engineering，通过指南、示例与最佳实践优化 AI 交互，覆盖各技能水平与应用领域。🚀 Master prompt engineering to optimize AI interactions with guides, examples, and best practices for all skill levels and domains.

面向实验室的免费开源统计与发表图表工具，43 项分析已与 R 校验，可在 macOS、Windows 与 Linux 上离线运行。Free, open-source statistics and publication figures for the lab. 43 analyses checked against R. Runs offline on macOS, Windows and Linux.

用于创建你自己的文献综述引擎的模板。A template to create your own literature survey engine

AGI简史 — 持续更新的 AGI 知识体系 | A Brief History of AGI: books, knowledge base, and ecosystem tracking for the open-source LLM era

面向 systematic review 和 evidence synthesis 的 AI 驱动全文筛选与数据提取。AI-Driven Full-Text Screening and Data Extraction for Systematic Reviews and Evidence Synthesis

在研究全球干旱状况的同时实践可复现研究方法的项目A project to practice reproducible research practices while studying the state of drought around the world

官方开放数字产品工厂This is the official open digital product factory

介绍 𝜑-calculus 的原始论文，EO 编程语言以此为基础。The original paper introducing the 𝜑-calculus, on which the EO programming language is based

JabRef 博客的代码仓库。Repository for JabRef's blog

Promovolve 是一项试图找回杂志广告昔日魅力的尝试。Promovolve is an attempt to get back what magazine advertising had!

ISARIC VERTEX 是一个基于 Web 的应用，用于呈现基于暴发期间需快速回答的相关研究问题的图表，作为通过 ISARIC ARC 与 ISARIC BRIDGE 等配套工具所采集数据的分析工具。ISARIC VERTEX is a web-based application designed to present graphs and tables based on relevant research questions that need to be quickly answered during an outbreak. It serves as an analysis tool for data captured through our complementary tools: ISARIC ARC and ISARIC BRIDGE.

科学文档的确定性 linterDeterministic linter for scientific docs

🤖 利用 TRPO、PPO、DPO、GRPO、DAPO、GSPO 等先进算法提升强化学习的稳定性与效率，优化策略训练。🤖 Enhance reinforcement learning stability and efficiency with advanced algorithms like TRPO, PPO, DPO, GRPO, DAPO, and GSPO for optimized policy training.

Aldine：轻量、自托管、开源的 LaTeX 协作工具（Overleaf 替代方案）。支持实时编辑（Yjs CRDT）、git 原生分支、Zotero 与 GitHub 同步、AI 纠错。两个容器部署，AGPL-3.0 许可。Aldine: slim, self-hosted, open-source LaTeX collaboration (an Overleaf alternative). Real-time editing (Yjs CRDT), git-native branches, Zotero & GitHub sync, AI error fixing. Two containers, AGPL-3.0.

https://cambio-uruguay.com 的源代码Source code of https://cambio-uruguay.com

🧪 Cypress AI 命令，通过 LLM（大语言模型）生成 E2E 测试🧪 Cypress AI command that generates E2E tests with LLM (Large Language Model).

原生 macOS 的 WYSIWYG Markdown 编辑器，支持文件内审阅循环——建议、评论和修订以 CriticMarkup 字节形式存储；原生 LaTeX 数学（Vinculum）和图表（MermaidKit），零 JavaScript，字节无损，纯本地运行。A native macOS WYSIWYG Markdown editor with an in-file review loop — suggestions, comments, and tracked changes as plain CriticMarkup bytes. Native LaTeX math (Vinculum) and diagrams (MermaidKit), zero JavaScript, byte-lossless, local-only.

CiteBeat · 听见你引用的节拍。Chrome 扩展：双数据源（Google Scholar + Semantic Scholar）追踪论文引用增长。

📄 自动从 PDF 中提取 BibTeX 条目，无需手动输入或调用外部 API 即可生成完整参考文献列表。📄 Extract BibTeX entries from PDFs automatically, generating a complete bibliography without manual input or reliance on external APIs.

自动跟踪、下载并分析 HuggingFace 上的 AI 论文，轻松掌握前沿研究 🐙📄Automate the tracking, downloading, and analysis of AI papers from HuggingFace. Stay updated with cutting-edge research effortlessly! 🐙📄

DebugBundle 产品源码与运行时代码。DebugBundle product source and runtime code.

Codex 的主题画廊、预览器、构建器与社区。The theme gallery, previewer, builder, and community for Codex.

"通过可复用代码实现可复现研究" 研讨会课程材料Lesson material for Reproducible research through reusable code workshop

GAP 的引文管理器支持。助力报告、论文、数据和演示的引用！Citation manager support for GAP. This helps with citations for reports, papers, data, and presentations!

自动检查 BibTeX .bib 文件的样式规范性（借助 CTAN 的 bibcop）Automated checking of BibTeX .bib files for style correctness (with the help of bibcop from CTAN)