mlir-rs / meliorLinks
The rustic MLIR bindings in Rust
☆434Updated this week
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☆190Updated this week
- LLVM IR in natural Rust data structures☆633Updated 2 months ago
- Rust bindings to the MLIR C API.☆66Updated 2 weeks ago
- An attempt at safe imperative GPU programming.☆48Updated this week
- Refinement Types for Rust☆759Updated this week
- Rust grammar tool libraries and binaries☆551Updated 2 months ago
- egraphs + datalog!☆578Updated this week
- a model of MIR and the Rust type/trait system☆313Updated this week
- Safe, portable, high performance compute (GPGPU) kernels.☆237Updated last week
- A new register allocator☆234Updated last month
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆353Updated 2 weeks ago
- an educational compiler intermediate representation☆685Updated 2 weeks ago
- Incremental garbage collection from safe Rust☆760Updated 3 weeks ago
- Logic programming in Rust☆481Updated 3 months ago
- A crate to help you go wide. By which I mean use SIMD stuff.☆408Updated last week
- LL(k) and LALR(1) parser generator for Rust☆225Updated this week
- Memory Management ToolKit☆462Updated this week
- Rust bindings for the Z3 solver.☆418Updated this week
- Cycle-tracking garbage collector library for Rust☆193Updated 2 months ago
- A Rust implementation of the Khronos OpenCL 3.0 API.☆123Updated 4 months ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆846Updated last week
- Intermediate Language (IL) for Hardware Accelerator Generators☆545Updated this week
- Rustic bindings to the IREE Compiler/Runtime☆22Updated last week
- Recipes for avoiding bounds checks in Rust, without unsafe!☆116Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆1,542Updated last month
- ☆160Updated 5 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆481Updated last year
- A fun, hackable, GPU-accelerated, neural network library in Rust, written by an idiot☆133Updated last year
- JIT compiler and runtime for a toy language, using Cranelift☆701Updated 4 months ago
- ⅋ — session types for Rust☆203Updated last month