mlir-rs / meliorLinks
The rustic MLIR bindings in Rust
☆423Updated 2 weeks ago
Alternatives and similar repositories for melior
Users that are interested in melior are comparing it to the libraries listed below
Sorting:
- An Extensible Compiler IR Framework☆184Updated last week
- LLVM IR in natural Rust data structures☆620Updated 2 months ago
- Rust bindings to the MLIR C API.☆65Updated last month
- Refinement Types for Rust☆755Updated this week
- Rust grammar tool libraries and binaries☆550Updated last month
- a model of MIR and the Rust type/trait system☆309Updated last month
- Safe, portable, high performance compute (GPGPU) kernels.☆235Updated last year
- An attempt at safe imperative GPU programming.☆45Updated last week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆350Updated last week
- egraphs + datalog!☆570Updated this week
- Incremental garbage collection from safe Rust☆747Updated last month
- A new register allocator☆234Updated 2 weeks ago
- Rust bindings for the Z3 solver.☆413Updated last week
- Cycle-tracking garbage collector library for Rust☆193Updated last month
- JIT compiler and runtime for a toy language, using Cranelift☆694Updated 3 months ago
- an educational compiler intermediate representation☆683Updated 3 weeks ago
- Logic programming in Rust☆475Updated 2 months ago
- Half-precision floating point types f16 and bf16 for Rust.☆258Updated 2 months ago
- Memory Management ToolKit☆461Updated this week
- A precise specification for "Rust lite / MIR plus"☆914Updated 2 weeks ago
- LL(k) and LALR(1) parser generator for Rust☆223Updated this week
- A fun, hackable, GPU-accelerated, neural network library in Rust, written by an idiot☆133Updated last year
- A crate to help you go wide. By which I mean use SIMD stuff.☆400Updated 3 weeks ago
- Verifying the Rust standard library☆262Updated this week
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆842Updated last month
- Define compiler intermediate representation usable by external tools☆79Updated last year
- A framework for writing plugins that integrate with the Rust compiler☆153Updated 3 months ago
- Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)☆208Updated 2 weeks ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆480Updated last year
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago