Alternatives and similar repositories for llvm-demo

Users that are interested in llvm-demo are comparing it to the libraries listed below

• nael8r / How-To-Write-An-LLVM-Register-Allocator
  This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
  ☆278Updated 6 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆165Updated 4 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆85Updated 3 years ago
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆51Updated 8 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• abenkhadra / llvm-pass-tutorial
  A step-by-step tutorial for building an LLVM sample pass
  ☆217Updated 5 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆39Updated 10 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated 5 months ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆44Updated 5 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated last week
• nsumner / llvm-dataflow-analysis
  ☆66Updated 5 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 11 years ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆78Updated last week
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆224Updated 6 years ago
• mangpo / greenthumb
  ☆88Updated 3 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• cil-project / cil
  C Intermediate Language
  ☆376Updated last year
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆273Updated 3 years ago
• codeplaysoftware / llvm-leg
  Codeplay's tutorial LLVM LEG backend - as presented at the 2014 LLVM Developers' Meeting in San Jose.
  ☆42Updated 10 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆29Updated 3 years ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆140Updated 4 years ago
• frasercrmck / llvm-leg
  ☆111Updated 4 years ago
• DeadCodeProductions / dead
  ☆53Updated 2 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆133Updated 5 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• rems-project / rmem
  rmem public repo
  ☆45Updated 2 months ago