Alternatives and similar repositories for melior:

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

• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆166Updated this week
• cdisselkoen / llvm-ir
  LLVM IR in natural Rust data structures
  ☆602Updated 2 months ago
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆65Updated last month
• flux-rs / flux
  Refinement Types for Rust
  ☆728Updated this week
• bytecodealliance / regalloc2
  A new register allocator
  ☆230Updated 3 weeks ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆299Updated last month
• kyren / gc-arena
  Incremental garbage collection from safe Rust
  ☆698Updated last week
• softdevteam / grmtools
  Rust grammar tool libraries and binaries
  ☆545Updated this week
• VoidStarKat / half-rs
  Half-precision floating point types f16 and bf16 for Rust.
  ☆250Updated last month
• Lokathor / wide
  A crate to help you go wide. By which I mean use SIMD stuff.
  ☆350Updated 2 months ago
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆849Updated 3 weeks ago
• charles-r-earp / krnl
  Safe, portable, high performance compute (GPGPU) kernels.
  ☆227Updated 11 months ago
• s-arash / ascent
  Logic programming in Rust
  ☆465Updated this week
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆802Updated 3 weeks ago
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆285Updated this week
• matthieu-m / static-rc
  Compile-time reference counting
  ☆445Updated last year
• rust-lang / portable-simd
  The testing ground for the future of portable SIMD in Rust
  ☆963Updated last month
• mcy / strings
  Rust String Libraries by mcyoung
  ☆184Updated 3 months ago
• jsinger67 / parol
  LL(k) and LALR(1) parser generator for Rust
  ☆211Updated last week
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆336Updated last week
• sampsyo / bril
  an educational compiler intermediate representation
  ☆663Updated last month
• ibraheemdev / seize
  Fast, efficient, and robust memory reclamation for Rust.
  ☆412Updated 2 months ago
• dimforge / simba
  Set of mathematical traits to facilitate the use of SIMD-based AoSoA (Array of Struct of Array) storage pattern.
  ☆306Updated 6 months ago
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆466Updated last year
• egraphs-good / egglog
  egraphs + datalog!
  ☆526Updated this week
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆148Updated last month
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆312Updated last week
• tari / llvm-sys.rs
  Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)
  ☆196Updated last week
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆101Updated 2 years ago
• rust-analyzer / smol_str
  ☆483Updated 6 months ago