A collection of formalized statements of conjectures in Lean.

A Framework of Continual Learning

[TPAMI 2023] LibFewShot: A Comprehensive Library for Few-shot Learning.

Convert pdf to epub using gemini-2.5-pro

南京大学本科生/研究生评教 自动点击

A minimalistic cross-platform eBook reader built with Tauri, Epub.js, and Typescript

本教程为 Tae Kim 所写的《Japanese Grammar Guide》的中文翻译

A tiny hardware-accelerated pixel frame buffer. 🦀

🍀️四叶草拼音输入方案，做最好用的基于rime开源的简体拼音输入方案！

Github Pages

Rick and Morty 中文字幕

Chinese translation of the Story of Surviving a World where Human Turns into Salt upon Reaching 20-year-old.

A small rhythm game implemented in Bevy, with an accompanying tutorial.

A high-performance programmable DNS component aiming at robustness, speed, and flexibility

喜马拉雅音频下载工具

Netscape HTTP cookie file parser

Rust parser combinator framework

👾 Fast and simple video download library and CLI tool written in Go

恢复旧版Bilibili页面，为了那些念旧的人。

强大的哔哩哔哩增强脚本

A Firefox extension that allows you to specify a custom new-tab URL

🎥 Command line media player

AriaNg, a modern web frontend making aria2 easier to use.

play bilibili video with mpv