Alternatives and similar repositories for melior:

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

• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆110Updated this week
• cdisselkoen / llvm-ir
  LLVM IR in natural Rust data structures
  ☆579Updated last week
• flux-rs / flux
  Refinement Types for Rust
  ☆687Updated this week
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆63Updated last week
• bytecodealliance / regalloc2
  A new register allocator
  ☆224Updated last month
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆295Updated 4 months ago
• softdevteam / grmtools
  Rust grammar tool libraries and binaries
  ☆530Updated last week
• charles-r-earp / krnl
  Safe, portable, high performance compute (GPGPU) kernels.
  ☆222Updated 8 months ago
• s-arash / ascent
  Logic programming in Rust
  ☆453Updated this week
• sampsyo / bril
  an educational compiler intermediate representation
  ☆621Updated this week
• egraphs-good / egglog
  egraphs + datalog!
  ☆496Updated last week
• kyren / gc-arena
  Incremental garbage collection from safe Rust
  ☆615Updated last month
• Lokathor / wide
  A crate to help you go wide. By which I mean use SIMD stuff.
  ☆325Updated this week
• bytecodealliance / cranelift-jit-demo
  JIT compiler and runtime for a toy language, using Cranelift
  ☆664Updated last year
• mmtk / mmtk-core
  Memory Management ToolKit
  ☆423Updated this week
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆778Updated last week
• matthieu-m / static-rc
  Compile-time reference counting
  ☆441Updated last year
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆376Updated 2 months ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆162Updated 2 years ago
• starkat99 / half-rs
  Half-precision floating point types f16 and bf16 for Rust.
  ☆238Updated 9 months ago
• rust-analyzer / rowan
  ☆731Updated last week
• faiface / par
  ⅋ — session types for Rust
  ☆136Updated 3 months ago
• zesterer / pollster
  A minimal async executor that lets you block on a future
  ☆565Updated 2 weeks ago
• rust-lang / portable-simd
  The testing ground for the future of portable SIMD in Rust
  ☆937Updated last week
• xdslproject / xdsl
  A Python Compiler Design Toolkit
  ☆312Updated this week
• typst / comemo
  Incremental computation through constrained memoization.
  ☆466Updated 3 months ago
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆837Updated last month
• claytonwramsey / dumpster
  Cycle-tracking garbage collector library for Rust
  ☆173Updated last month
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆319Updated this week
• winnow-rs / winnow
  Making parsing a breeze
  ☆674Updated this week