Stars
C++ library to pack and unpack vectors of integers having a small range of values using a technique called Frame of Reference
A Lock Free Bipartite Buffer Library written in standard C11
A single file C++17 header-only Minimal Acyclic Subsequential Transducers, or Finite State Transducers
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
đ A curated list of WebAssembly runtimes
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Emscripten: An LLVM-to-WebAssembly Compiler
A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes