🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

C++ macro for automatically generating Rust-style tagged unions

A PEP to add a `@sealed` typing decorator to Python

Stable Diffusion web UI

An LLVM/Clang/LLD based mingw-w64 toolchain

Moved to Codeberg

C++/WinRT

山东大学本科毕业论文（设计）的 LaTeX 模板，参考《山东大学本科毕业论文（设计）撰写规范》

A real-time transcription and translation tool implemented in Python based on the fast-whisper library.

A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming language into its QAP form, and perform Groth16's setup, proof and verification steps.

Faster Whisper transcription with CTranslate2

Some utility/experimental/fun little projects I've written myself.

Python 3 wrapper for the mcl library

Python wrapper for the PBC (Pairing-Based Cryptography) library

Visual environment for manipulation the lambda calculus expressions

AGE animation official website URL release page（AGE动漫官网网址发布页）

Robust Speech Recognition via Large-Scale Weak Supervision

《软件基础》中译版 Software Foundations Chinese Translation

A simple Python Pydantic model for Honkai: Star Rail parsed data from the Mihomo API.

A rule based proxy in Go.

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

Clash Nyanpasu～(∠・ω< )⌒☆​

A rule-based tunnel for Android.

Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.

EhViewer overhauled with Material Design 3, Jetpack Compose and more

EhViewer overhauled with Material Design 3 and more, forked from https://github.com/Ehviewer-Overhauled/Ehviewer

aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.

TLS/SSL and crypto library

WIN32 native port of BusyBox.

Verilator open-source SystemVerilog simulator and lint system