Implementation of Univalence in Cubical Sets

A framework for BREACH and other compression-based crypto attacks

😎 Awesome lists about all kinds of interesting topics

Linux kernel source tree

The Rogue Access Point Framework

Metasploit Framework

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…

Patch PE, ELF, Mach-O binaries with shellcode new version in development, available only to sponsors

General purpose TLS and crypto library

A textbook on informal homotopy type theory

Bitcoin Core integration/staging tree

An editor for deterministic finite automata