🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Vul4J: A Dataset of Reproducible Java Vulnerabilities

Home page of project "KB"

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

qBittorrent BitTorrent client

Robust Speech Recognition via Large-Scale Weak Supervision

I love Computer Architectures.

🍒 Cherry Studio is a desktop client that supports for multiple LLM providers. Support deepseek-r1

哔哩下载姬(跨平台版)downkyi，哔哩哔哩网站视频下载工具，支持批量下载，支持8K、HDR、杜比视界，提供工具箱（音视频提取、去水印等）。

《深入理解CodeQL》Finding vulnerabilities with CodeQL.

计算机专业术语中英文对照。

The Z3 Theorem Prover

A set of basic tools for manipulating SyGuS benchmarks

Benchmarks for SyGuS Competition (SyGuS-Comp)

the LIBpcap interface to various kernel packet capture mechanism

Lightweight Armoury Crate alternative for Asus laptops and ROG Ally. Control tool for ROG Zephyrus G14, G15, G16, M16, Flow X13, Flow X16, TUF, Strix, Scar and other models

Mapping Language to Code in a Programmatic Context

实现一个操作系统内核

Gpass: a Goal-directed Proof Assistant based on Coq for Automated Formal Verification

An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

Client template used by myself. Based on tauri2/自用客户端模板。基于tauri2

I love computer networks.

I love CV.

Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.