Alternatives and similar repositories for noelle

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

• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆89Updated 7 months ago
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated 2 years ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆34Updated 4 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆70Updated last year
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆104Updated this week
• llvm / llvm-test-suite
  ☆212Updated last week
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated last year
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆70Updated 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…
  ☆426Updated 2 weeks ago
• quepas / Compiler-benchmark-suites
  A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
  ☆58Updated 2 years ago
• MatthiasJReisinger / PolyBenchC-4.2.1
  PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
  ☆122Updated 9 years ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆141Updated 4 years ago
• zslwyuan / LLVM-9.0-Learner-Tutorial
  A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…
  ☆104Updated 3 years ago
• ychen306 / vegen
  ☆31Updated 2 years ago
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆110Updated last year
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆117Updated 2 years ago
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆133Updated last month
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆276Updated 3 years ago
• bondhugula / pluto
  Pluto: An automatic polyhedral parallelizer and locality optimizer
  ☆308Updated 2 months ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆25Updated 3 years ago
• rlavaee / codestitcher
  Interprocedural Basic Block Code Layout Optimization
  ☆18Updated 6 years ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆259Updated 3 weeks ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆15Updated 6 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆57Updated 5 months ago
• llvm / Polygeist
  C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
  ☆584Updated 4 months ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆100Updated 5 months ago
• revec / VectorBench
  Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code
  ☆30Updated 6 years ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆115Updated 2 weeks ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆230Updated 6 years ago
• alexjung / Writing-an-LLVM-Pass-using-the-new-PassManager
  This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …
  ☆58Updated 6 years ago