Experimental MLIR Rust compiler
☆28Sep 3, 2023Updated 2 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:
- 🍒 Cherry programming language☆17Sep 18, 2024Updated last year
- 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
- ☆17May 14, 2024Updated 2 years ago
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PThread implementation for Nintendo 3DS Horizon OS targets. Keep in mind that Horizon OS uses a cooperative, and not preemptive, threadin…☆14May 17, 2024Updated 2 years ago
- Project for learning about llvm☆18Sep 13, 2022Updated 3 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆74Feb 20, 2026Updated 3 months ago
- A min-caml port to Rust☆26Feb 8, 2025Updated last year
- Secure Rust Code☆16Dec 10, 2024Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆84Jan 22, 2024Updated 2 years ago
- An optimizing ahead-of-time Python Compiler☆265Jun 9, 2024Updated 2 years ago
- Transform Doxygen to Rustdoc☆22May 28, 2024Updated 2 years ago
- Simple and powerful programming language with type inference☆24Feb 17, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Simple grammar-based test case generator☆45Jun 8, 2026Updated last week
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆20Apr 13, 2026Updated 2 months ago
- LLVM Bitcode parser in Rust☆26Apr 9, 2026Updated 2 months ago
- ☆22Dec 15, 2023Updated 2 years ago
- texliveがフルインストールされたdevcontainer☆24Mar 31, 2024Updated 2 years ago
- LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing☆26Mar 4, 2026Updated 3 months ago
- A small Wasm Runtime☆193Apr 23, 2026Updated last month
- Get started with Zig + Raylib + ImGui!☆21Jul 8, 2024Updated last year
- 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.
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- ☆32May 27, 2026Updated 2 weeks ago
- An Extensible Compiler IR Framework☆397Updated this week
- GPU Computing Toolkit☆34May 19, 2026Updated 3 weeks ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆29May 4, 2026Updated last month
- Experimental AArch64 Emulator Written in C++☆41Sep 13, 2023Updated 2 years ago
- ☆31Feb 26, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- C based backend for rustc☆32Feb 26, 2025Updated last year
- ☆17Jan 31, 2023Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- MLIR Toolkit in Elixir and Zig.☆216Apr 17, 2026Updated 2 months ago
- find crashes in the rust compiler & related tooling☆84Apr 15, 2024Updated 2 years ago
- An attempt to write a compiler in Rust☆24Jun 21, 2023Updated 2 years ago
- Win16 NE (New Executable) parser & disassembler☆33Jul 26, 2025Updated 10 months ago