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
  ☆174Updated 2 weeks ago
• cdisselkoen / llvm-ir
  LLVM IR in natural Rust data structures
  ☆607Updated this week
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆65Updated 2 months ago
• softdevteam / grmtools
  Rust grammar tool libraries and binaries
  ☆548Updated this week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆301Updated 2 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆738Updated this week
• charles-r-earp / krnl
  Safe, portable, high performance compute (GPGPU) kernels.
  ☆229Updated last year
• Lokathor / wide
  A crate to help you go wide. By which I mean use SIMD stuff.
  ☆372Updated 3 months ago
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆342Updated 2 weeks ago
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆815Updated last week
• bytecodealliance / regalloc2
  A new register allocator
  ☆229Updated 3 weeks ago
• s-arash / ascent
  Logic programming in Rust
  ☆467Updated 3 weeks ago
• kyren / gc-arena
  Incremental garbage collection from safe Rust
  ☆721Updated last month
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆867Updated last week
• mmtk / mmtk-core
  Memory Management ToolKit
  ☆442Updated this week
• VoidStarKat / half-rs
  Half-precision floating point types f16 and bf16 for Rust.
  ☆256Updated last week
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆394Updated 5 months ago
• egraphs-good / egglog
  egraphs + datalog!
  ☆542Updated this week
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆468Updated last year
• bytecodealliance / cranelift-jit-demo
  JIT compiler and runtime for a toy language, using Cranelift
  ☆685Updated last month
• tari / llvm-sys.rs
  Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)
  ☆198Updated last month
• jsinger67 / parol
  LL(k) and LALR(1) parser generator for Rust
  ☆212Updated this week
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆297Updated this week
• rust-analyzer / rowan
  ☆751Updated 3 weeks ago
• mcy / strings
  Rust String Libraries by mcyoung
  ☆188Updated 4 months ago
• winnow-rs / winnow
  Making parsing a breeze
  ☆734Updated 3 weeks ago
• rust-lang / portable-simd
  The testing ground for the future of portable SIMD in Rust
  ☆969Updated last month
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆244Updated this week
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆205Updated 2 weeks ago
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆314Updated this week