Alternatives and similar repositories for clangir

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

• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆33Updated 4 years ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆47Updated this week
• llvm / llvm-test-suite
  ☆190Updated 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…
  ☆420Updated last month
• llvm / vscode-mlir
  ☆61Updated last year
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆29Updated last week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆151Updated 2 months ago
• llvm / clangir
  A new (MLIR based) high-level IR for clang.
  ☆506Updated this week
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆138Updated 6 months ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆96Updated 3 weeks ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆86Updated 3 months ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated last year
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 4 months ago
• google / llvm-propeller
  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
  ☆421Updated 2 weeks ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆34Updated last month
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆99Updated 10 months ago
• preames / public-notes
  A collection of (public) notes on assorted topics
  ☆77Updated 3 weeks ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆265Updated last year
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 4 years ago
• llvm / Polygeist
  C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
  ☆553Updated this week
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆282Updated 2 months ago
• abenkhadra / llvm-pass-tutorial
  A step-by-step tutorial for building an LLVM sample pass
  ☆216Updated 5 years ago
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆86Updated 4 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆165Updated 4 years ago
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆131Updated 8 months ago
• google / llvm-premerge-checks
  CI system for premerge-testing in LLVM project
  ☆41Updated 2 weeks ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 months ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆52Updated 5 years ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆76Updated 2 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week