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
- nix plugin + daemon + tui for global system monitoring of all nix activity☆23Feb 19, 2026Updated 2 months ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 4 years ago
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Programming language☆13Dec 6, 2020Updated 5 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 last year
- Project for learning about llvm☆18Sep 13, 2022Updated 3 years ago
- A min-caml port to Rust☆26Feb 8, 2025Updated last year
- Secure Rust Code☆16Dec 10, 2024Updated last year
- An optimizing ahead-of-time Python Compiler☆263Jun 9, 2024Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆84Jan 22, 2024Updated 2 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 7 years ago
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- Simple and powerful programming language with type inference☆24Feb 17, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Simple grammar-based test case generator☆43Apr 27, 2026Updated last week
- Svg based heatmaps in Elm☆14May 10, 2017Updated 8 years 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☆90Apr 21, 2026Updated 2 weeks ago
- LLVM Bitcode parser in Rust☆26Apr 9, 2026Updated 3 weeks ago
- The implementation of an SMTLib dialect for xDSL☆18Apr 16, 2026Updated 2 weeks ago
- 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
- ☆22Dec 15, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆15Dec 3, 2016Updated 9 years ago
- texliveがフルインストールされたdevcontainer☆24Mar 31, 2024Updated 2 years ago
- An Extensible Compiler IR Framework☆283Updated this week
- LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing☆26Mar 4, 2026Updated 2 months ago
- A small Wasm Runtime☆191Apr 23, 2026Updated 2 weeks ago
- GitHub Action for setup mitsuhiko/rye☆29Apr 21, 2026Updated 2 weeks ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 6 months ago
- GPU Computing Toolkit☆33Apr 6, 2026Updated last month
- Rust API for openrouter.☆31Updated this week
- 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.
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- C based backend for rustc☆30Feb 26, 2025Updated last year
- ☆19Jan 31, 2023Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- OCaml Bindings to MLIR☆15Dec 11, 2020Updated 5 years ago
- MLIR Toolkit in Elixir and Zig.☆213Apr 17, 2026Updated 2 weeks ago