Experimental MLIR Rust compiler
☆29Sep 3, 2023Updated 3 years ago
Alternatives and similar repositories for mlir-rustc
Users that are interested in mlir-rustc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 6 years ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 4 years ago
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 4 years ago
- orco - compiler toolchain☆23Updated this week
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tiny JVM (Java Virtual Machine) program written in TypeScript.☆32Nov 16, 2022Updated 3 years ago
- nix plugin + daemon + tui for global system monitoring of all nix activity☆23Feb 19, 2026Updated 8 months ago
- ☆35Feb 26, 2023Updated 3 years ago
- Zrax: Rust and WebAssembly ISA classification, entropy maps, and binary analysis workbench☆17Updated this week
- FrameShift prototype implementation in LibAFL☆16Nov 13, 2025Updated 11 months ago
- A min-caml port to Rust☆26Feb 8, 2025Updated last year
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 4 years ago
- Transform Doxygen to Rustdoc☆23May 28, 2024Updated 2 years ago
- Project for learning about llvm☆18Sep 13, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆44Jun 28, 2025Updated last year
- A programming language for fun☆13Dec 8, 2023Updated 2 years ago
- LLVM Bitcode parser in Rust☆26Oct 3, 2026Updated last month
- The rustic MLIR bindings in Rust☆559Updated this week
- ☆14Jun 15, 2026Updated 4 months ago
- Ninja-compatible build system for improved end-user experience written in Rust☆93Oct 29, 2026Updated last week
- nix-direnv alternative that does not need a .direnv metafile☆18Jun 21, 2024Updated 2 years ago
- ☆17Nov 11, 2021Updated 4 years ago
- Net2PCAP is a simple network-to-pcap capture file for Linux. Its goal is to be as simple as possible to be used in hostile environments☆12Aug 28, 2011Updated 15 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 3 years ago
- An android version of https://clip.unl.pt☆10Nov 14, 2021Updated 4 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆21Jan 14, 2021Updated 5 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 4 years ago
- GitHub Action for setup mitsuhiko/rye☆29Oct 30, 2026Updated last week
- A small Wasm Runtime☆193Apr 23, 2026Updated 6 months ago
- ☆12Jul 7, 2025Updated last year
- ☆17Jan 31, 2023Updated 3 years ago
- Library for structural temporal logic proofs over coinductive, free monads with effects and choice.☆11Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- ☆15Mar 29, 2023Updated 3 years ago
- ☆11Sep 23, 2024Updated 2 years ago
- LLVM alternative in Rust☆16May 20, 2024Updated 2 years ago
- ☆12Nov 2, 2022Updated 4 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- ☆28Nov 23, 2023Updated 2 years ago