yangbowen
Follow
Stars
A JIT assembler for x86/x64 architectures supporting MMX, SSE (1-4), AVX (1-2, 512), FPU, APX, and AVX10.2
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
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.
A library for patching, replacing and decorating .NET and Mono methods during runtime
A free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware. Brought to you by Winsider Seminars & Solutions, Inc. @ http://www.windows-internals…
Zdepth :: Streaming Depth Compressor in C++ for Azure Kinect DK
Siamese : Infinite-Window Streaming Erasure Code (HARQ)
New generation entropy codecs : Finite State Entropy and Huff0
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
Kaleidoscope C++ Runtime Library's Master Repository with Build Files
Cornerstone of the MOST efficient std::thread on Windows for mingw-w64
Portable, simple and extensible C++ logging library
Header-only TOML config file parser and serializer for C++17.
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
the official Rust and C implementations of the BLAKE3 cryptographic hash function
Reed-Solomon coder computing one million parity blocks at 1 GB/s. O(N*log(N)) algo employing FFT.
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…