Experimental MLIR Rust compiler
β29Sep 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
- nix plugin + daemon + tui for global system monitoring of all nix activityβ23Feb 19, 2026Updated 4 months ago
- GPGPU version of ζ°γδΈγγε§γγ(https://github.com/primenumber/kazoeage-oneesan)β11Dec 3, 2021Updated 4 years ago
- β17May 14, 2024Updated 2 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.
- Programming languageβ13Dec 6, 2020Updated 5 years ago
- 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β¦β76Feb 20, 2026Updated 4 months ago
- Secure Rust Codeβ16Dec 10, 2024Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVMβ84Jan 22, 2024Updated 2 years ago
- GUI application to update your NixOS system from a flake git repositoryβ33Jun 29, 2026Updated last week
- An optimizing ahead-of-time Python Compilerβ264Jun 9, 2024Updated 2 years ago
- Transform Doxygen to Rustdocβ22May 28, 2024Updated 2 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 OCaml compiler with JVM backend π«βοΈβ11Mar 12, 2019Updated 7 years ago
- Simple grammar-based test case generatorβ45Jun 29, 2026Updated last week
- β20Apr 13, 2026Updated 2 months ago
- LLVM support for the lean theorem proverβ53Sep 14, 2021Updated 4 years ago
- Ninja-compatible build system for high-level programming languages written in Rustβ91Updated this week
- Highly-customizable dotfiles managerβ14Feb 19, 2023Updated 3 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.β17Jan 7, 2022Updated 4 years ago
- Experimental Rust bindings for the pure C API of Nix, the build toolβ56Jun 30, 2026Updated last week
- β22Dec 15, 2023Updated 2 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++ implementation of an approximate distinct counter by HIP estimator on HyperLogLogβ15Dec 3, 2016Updated 9 years ago
- A small Wasm Runtimeβ193Apr 23, 2026Updated 2 months ago
- Get started with Zig + Raylib + ImGui!β21Jul 8, 2024Updated 2 years ago
- GitHub Action for setup mitsuhiko/ryeβ29Jun 18, 2026Updated 2 weeks ago
- β32May 27, 2026Updated last month
- LLVM alternative in Rustβ16May 20, 2024Updated 2 years ago
- Docker images for SATySFi and Satyrographosβ26Jun 23, 2026Updated 2 weeks ago
- A mutation testing tool designed to work with large C++ (and C) codebases.β13Jun 18, 2026Updated 2 weeks ago
- An Extensible Compiler IR Frameworkβ415Updated 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.
- One-for-all python script for running LLVM experimentβ11Jun 30, 2022Updated 4 years ago
- nix-direnv alternative that does not need a .direnv metafileβ18Jun 21, 2024Updated 2 years ago
- Using e-graphs to synthesize netlists from boolean logic.β14Jul 26, 2023Updated 2 years ago
- Introduction to MLIR and xDSL training courseβ20Oct 2, 2023Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statementsβ32May 4, 2026Updated 2 months ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programsβ15Oct 24, 2022Updated 3 years ago
- C based backend for rustcβ32Feb 26, 2025Updated last year