OpenID Connect Rust Library

Using Intel AES-NI and c++ threads to search an AES128 key (well, part of it)

`std::execution`, the proposed C++ framework for asynchronous and parallel programming.

The Z3 Theorem Prover

Scalable fuzzing infrastructure.

lightweight, idiomatic and composable router for building Go HTTP services

Official Transmission BitTorrent client repository

Argon is a clean and tidy OpenWrt LuCI theme that allows users to customize their login interface with images or videos. It also supports automatic and manual switching between light and dark modes.

🐱 Run Clash Tunnel on Koolshare OpenWrt

A Clash Client For OpenWrt

A new bootable USB solution.

Flash OS images to SD cards & USB drives, safely and easily.

PEDA - Python Exploit Development Assistance for GDB

日本麻将助手：牌效+防守+记牌（支持雀魂、天凤）

A powerful templating engine with inheritance, asynchronous control, and more (jinja2 inspired)

An enterprise-class UI design language and React UI library

Join the GitHub Graduation Yearbook and "walk the stage" on June 5.

GCC Front-End for Rust

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

customizable multi-action-button component for react-native

♠️ React MDX-based presentation decks

A lightweight ORM framework for Kotlin with strong-typed SQL DSL and sequence APIs.

SML The Living Language

Stacks project, from a homotopy type theory point-of-view (hPOV)

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

雷神项目，翻译 mit 6.824 2020