Alternatives and similar repositories for clangir:

Users that are interested in clangir are comparing it to the libraries listed below

• llvm / llvm-test-suite
  ☆170Updated this week
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 4 years ago
• llvm / clangir
  A new (MLIR based) high-level IR for clang.
  ☆452Updated this week
• 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 choo…
  ☆409Updated last week
• llvm / vscode-mlir
  ☆54Updated 9 months ago
• google / llvm-propeller
  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
  ☆395Updated last month
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆32Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆138Updated 5 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆80Updated 3 months ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆139Updated 3 weeks ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆164Updated 8 months ago
• llvm / Polygeist
  C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
  ☆511Updated 4 months ago
• google / llvm-premerge-checks
  CI system for premerge-testing in LLVM project
  ☆41Updated 4 months ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 5 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆138Updated 4 years ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆14Updated 5 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆76Updated 3 years ago
• Geof23 / Gklee
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆34Updated 3 years ago
• iml130 / mlir-emitc
  Conversions to MLIR EmitC
  ☆126Updated 2 months ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 2 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆309Updated 9 months ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆115Updated 5 years ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆130Updated 2 months ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆77Updated this week
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• abenkhadra / llvm-pass-tutorial
  A step-by-step tutorial for building an LLVM sample pass
  ☆214Updated 4 years ago
• google / centipede
  ☆253Updated last year
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆271Updated 3 weeks ago
• upenn-acg / ocolos-public
  Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.
  ☆52Updated last year