Popular repositories Loading

1. rose rose Public

   Forked from llnl/rose

   ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary levels. ROSE can act as a compiler frontend for C, C++ (inc…

   C

2. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM

3. resouper resouper Public

   Forked from google/souper

   A superoptimizer for LLVM IR

   C++

4. vast vast Public

   Forked from trailofbits/vast

   VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…

   C++

5. pillar pillar Public

   Forked from lifting-bits/pillar

   Lift VAST's high-level MLIR dialect to Clang ASTs

   C++

6. centaur centaur Public

   Forked from minotaur-toolkit/minotaur

   A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.

   Python