Alternatives and similar repositories for ml-llvm-project:

Users that are interested in ml-llvm-project 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-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆17Updated 6 months ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• spcl / mlir-dace
  Data-Centric MLIR dialect
  ☆40Updated last year
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆13Updated 2 months ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆41Updated 2 months ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆18Updated 5 months ago
• cornell-zhang / hcl-dialect
  HeteroCL-MLIR dialect for accelerator design
  ☆41Updated 5 months ago
• mwillsey / cs265
  Website for CS 265
  ☆27Updated last month
• makslevental / nelli
  A lightweight, Pythonic, frontend for MLIR
  ☆80Updated last year
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆79Updated this week
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆48Updated 3 weeks ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 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
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆8Updated 8 years ago
• illinois-impact / klap
  A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches
  ☆15Updated 5 years ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated 10 months ago
• makslevental / mlir-wheels
  ☆23Updated 2 weeks ago
• microsoft / FractalTensor
  ☆23Updated 2 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆80Updated 3 months ago
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• fivosts / BenchPress
  Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022
  ☆21Updated last year
• pnnl / COMET
  ☆40Updated this week
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆22Updated 2 years ago
• intel / graph-compiler
  MLIR-based toolkit targeting intel heterogeneous hardware
  ☆38Updated 2 weeks ago
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆97Updated 5 months ago
• manya-bansal / mosaic
  ☆13Updated last year
• microsoft / cusync
  ☆25Updated last year
• nadavrot / pgo_ml
  Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"
  ☆24Updated 3 years ago