蒜皮的桌宠，粉丝向制作，由deepseek v4.1 flash vibe coding制作而成，该形象原作者为“蒜皮宝宝”官方账号，希望大家喜欢蒜皮和这个制作！The desktop pet of SuanPi, a fan-made project, original author is the official account "蒜皮宝宝", hope everyone will li…

Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.

Minecraft AI with LLMs+Mineflayer

A Lean companion to Analysis I

Notes for Riemannian Geometry in 2024 BICMR summer school on differential geometry

将Typora伪装成LaTeX的中文样式主题，本科生轻量级课程论文撰写的好帮手。This is a theme disguising Typora into Chinese LaTeX style.

A markup-based typesetting system that is powerful and easy to learn.

Notes of seminar on May’s Algebraic Topology.

MineMonopoly 是一款支持自定义地图的多人在线大富翁游戏，内置功能完整的地图编辑器。

我的世界新兴论坛晋级赛，欢迎观战

The Excel add-in for creating LaTeX tables

amateur translation project of Grothendieck's EGA.

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…

代数基本观念

Resources for learning Category Theory for an enthusiast

A pleasant note-taking platform with native speed, majoring in Markdown, MindMap, Typst, and plain text.

中文学术LaTeX Beamer模板

人像抠图APP

某校 每日上报打卡助手，支持使用 Github Actions 定时任务在线自动打卡，且支持打卡后用微信消息、电子邮件通知打卡结果。

什么？你敢放心的把后背交给 AI? 我赌你不敢，那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

Programmer's guide about how to cook at home.

Free English to Chinese Dictionary Database

Open source UI framework written in Python, running on Windows, Linux, macOS, Android and iOS

A community-driven touchscreen music game.

简单、轻量、好用的划词翻译软件

Anti-Indulged for IntelliJ Platform (AI4IJ)

Essential hooks for modding with Fabric.

大概是2020年最全的免费可商用字体，这里收录的商免字体都能找到明确的授权出处，可以放心使用，持续更新中...

A comment system based on GitHub Issues.