Alternatives and similar repositories for mlir-resources:

Users that are interested in mlir-resources are comparing it to the libraries listed below

• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆17Updated last week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆32Updated this week
• uw-unsat / jitsynth
  ☆17Updated 4 years ago
• mwillsey / cs265
  Website for CS 265
  ☆27Updated last month
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆22Updated this week
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆37Updated last month
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆71Updated 8 months ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆35Updated 3 months ago
• tobiasgrosser / polyhedral.info
  ☆20Updated last year
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆12Updated 5 months ago
• GPUOpen-Drivers / llvm-dialects
  LLVM Dialects Library
  ☆22Updated this week
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆18Updated 5 months ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated 10 months ago
• ychen306 / vegen
  ☆28Updated 2 years ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• tchajed / futex-tutorial
  ☆9Updated 6 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆48Updated 3 weeks ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆14Updated 9 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated last month
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 4 months ago
• ChezJrk / verified-scheduling
  ☆35Updated 10 months ago
• wpmed92 / shaderpulse
  A GLSL compiler targeting SPIR-V mlir
  ☆16Updated 4 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆62Updated this week
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated this week
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago