🛠「Watt Toolkit」是一个开源跨平台的多功能 Steam 工具箱。

防迷路 | 禁漫天堂APK | 禁漫APP安卓安装包 | jm天堂 | GitHub Actions | JMComic3 | JMComic2

🎬 卡卡字幕助手 | VideoCaptioner - 基于 LLM 的智能字幕助手 - 视频字幕生成、断句、校正、字幕翻译全流程处理！- A powered tool for easy and efficient video subtitling.

Zhihu on Obsidian | 知乎 Obsidian 插件

一年过去了，你在白鲸食堂里花的钱都花在哪儿了？

A static analysis tool for Lean 4.

Ongoing maintenance for the original UI Info Suite mod for Stardew Valley.

Fermat's Last Theorem for regular primes

Legado 3.0 Book Reader with powerful controls & full functions❤️阅读3.0, 阅读是一款可以自定义来源阅读网络内容的工具，为广大网络文学爱好者提供一种方便、快捷舒适的试读体验。

崩坏星穹铁道自动化助手，帮你完成从启动到退出的崩铁日常 | 多账号托管

AcadHomepage: A Modern and Responsive Academic Personal Homepage

A gift for PKU students, although it is too old to use now.

Repository for the Stacks Project

The user home repository for the Mathematics in Lean tutorial.

Mods binaries of Cities: Skylines

这是一款提高ChatGPT的数据安全能力和效率的插件。并且免费共享大量创新功能，如：自动刷新、保持活跃、数据安全、取消审计、克隆对话、言无不尽、净化页面、展示大屏、拦截跟踪、日新月异、明察秋毫等。让我们的AI体验无比安全、顺畅、丝滑、高效、简洁。

国家自然科学基金申请书正文（面上项目）LaTeX 模板（非官方）

Animate Anyone: Consistent and Controllable Image-to-Video Synthesis for Character Animation

The math library of Lean 4

哔哩漫游，解除B站客户端番剧区域限制的Xposed模块，并且提供其他小功能。An Xposed module that unblocks bangumi area limit of BILIBILI with miscellaneous features.