Pinned Loading

1. google/souper google/souper Public archive

   A superoptimizer for LLVM IR

   C++ 2.4k 188

2. csmith-project/creduce csmith-project/creduce Public

   C-Reduce, a C and C++ program reducer

   C++ 1.7k 140

3. csmith-project/csmith csmith-project/csmith Public

   Csmith, a random generator of C programs

   C++ 1.2k 171

4. opt-fuzz opt-fuzz Public

   llvm opt fuzzer and bounded exhaustive test generator

   C++ 47 4

5. AliveToolkit/alive2 AliveToolkit/alive2 Public

   Automatic verification of LLVM optimizations

   C++ 1.2k 160

6. guided-tree-search guided-tree-search Public

   heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape

   C++ 14 4