Alternatives and similar repositories for eudsl:

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

• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆43Updated 3 weeks ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated 2 weeks ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆26Updated last week
• ychen306 / vegen
  ☆28Updated 2 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated 2 weeks ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆41Updated 4 months ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated 11 months ago
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆12Updated 2 weeks ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated 9 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 2 months ago
• mwillsey / cs265
  Website for CS 265
  ☆28Updated 3 months ago
• NicolaLancellotti / metal-dialect
  MLIR metal dialect
  ☆25Updated 6 months ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆17Updated this week
• iree-org / iree-torch
  Torch Frontend for IREE
  ☆25Updated last year
• iree-org / iree-bare-metal-arm
  Example for running IREE in a bare-metal Arm environment.
  ☆33Updated last month
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆50Updated 3 weeks ago
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆22Updated 2 years ago
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆84Updated this week
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆109Updated last year
• makslevental / mlir-wheels
  ☆23Updated this week
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• wpmed92 / shaderpulse
  A GLSL compiler targeting SPIR-V mlir
  ☆19Updated 5 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆37Updated 4 months ago
• pnnl / COMET
  ☆40Updated this week
• bcarlet / ptx-math
  ☆14Updated 2 years ago
• cornell-zhang / hcl-dialect
  HeteroCL-MLIR dialect for accelerator design
  ☆40Updated 6 months 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 11 months ago
• polymage-labs / mlirx
  MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com
  ☆38Updated last year
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 weeks ago