Pinned

1. llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

   12.8k 5.1k

2. GPUOpen-Drivers/llpc Public

   LLVM-Based Pipeline Compiler

   C++ 112 85

3. seahorn/seahorn Public

   SeaHorn Verification Framework

   C 321 112

4. seahorn/sea-dsa Public

   A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

   C++ 122 27

5. googlestadia/performance-layers Public

   Vulkan layers to measure pipeline performance and analyze frame times.

   C++ 21 7

6. smt-jit Public

   Simple JIT evaluator for a subset of SMT-LIB

   SMT 2 2