mlir-rs / meliorLinks
The rustic MLIR bindings in Rust
☆406Updated 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☆174Updated 2 weeks ago
- LLVM IR in natural Rust data structures☆607Updated this week
- Rust bindings to the MLIR C API.☆65Updated 2 months ago
- Rust grammar tool libraries and binaries☆548Updated this week
- a model of MIR and the Rust type/trait system☆301Updated 2 months ago
- Refinement Types for Rust☆738Updated this week
- Safe, portable, high performance compute (GPGPU) kernels.☆229Updated last year
- A crate to help you go wide. By which I mean use SIMD stuff.☆372Updated 3 months ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆342Updated 2 weeks ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆815Updated last week
- A new register allocator☆229Updated 3 weeks ago
- Logic programming in Rust☆467Updated 3 weeks ago
- Incremental garbage collection from safe Rust☆721Updated last month
- A precise specification for "Rust lite / MIR plus"☆867Updated last week
- Memory Management ToolKit☆442Updated this week
- Half-precision floating point types f16 and bf16 for Rust.☆256Updated last week
- Rust bindings for the Z3 solver.☆394Updated 5 months ago
- egraphs + datalog!☆542Updated this week
- An implementation of Joshua Yanovski's Ghost Cell paper.☆468Updated last year
- JIT compiler and runtime for a toy language, using Cranelift☆685Updated last month
- Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)☆198Updated last month
- LL(k) and LALR(1) parser generator for Rust☆212Updated this week
- A C++/Rust interop tool☆297Updated this week
- ☆751Updated 3 weeks ago
- Rust String Libraries by mcyoung☆188Updated 4 months ago
- Making parsing a breeze☆734Updated 3 weeks ago
- The testing ground for the future of portable SIMD in Rust☆969Updated last month
- Verifying the Rust standard library☆244Updated this week
- property testing and verification front-end for Rust☆205Updated 2 weeks ago
- Library for snippet annotations☆314Updated this week