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…

   19.6k 7.3k

2. openxla/iree Public

   A retargetable MLIR-based machine learning compiler and runtime toolkit.

   C++ 1.8k 404

3. GPUOpen-Drivers/llpc Public

   LLVM-Based Pipeline Compiler

   C++ 133 111

4. google/vulkan-performance-layers Public

   Vulkan layers to measure and analyze graphics performance.

   C++ 36 16

5. seahorn/sea-dsa Public

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

   C++ 138 29

6. seahorn/seahorn Public

   SeaHorn Verification Framework

   C 370 121