Severus

micron.cpp. a pure C++ implementation (& redesign) of libc and the standard library

abcmalloc. a modern (buddy) memory allocator written in c++23

branchless_common. collection of branchless functions

snowball.cpp. a single header, effective, C++20 unit testing framework

fuzzy. an approximate string matching library written in C++

lean4. Lean 4 programming language and theorem prover

nanoflagsx86. 📚 a nanoscopic C library for x86/x86_64 CPU feature detection

whirlpoolcpp. A Header Only Whirlpool Hashing Function Implementation for C++20

ninja. a small build system with a focus on speed

rfgplk. pr

bbench. a lightweight Linux benchmarking library written in C++20

memtag. C++ memory leak retrieval proof of concept

ugrep. 🔍 ugrep 7.5 file pattern searcher -- a user-friendly, faster, more capable grep replacement. Includes a TUI, Google-like Boolean search with AND/OR/NOT, fuzzy search, hexdumps, searches (nested) archives (zip, 7z, tar, pax, cpio), compressed files (gz, Z, bz2, lzma, xz, lz4, zstd, brotli), pdfs, docs, and more

ajax-simd. a zero-overhead (and common sense) C++ data-parallel types library