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
- A tiny JVM (Java Virtual Machine) program written in TypeScript.☆31Nov 16, 2022Updated 3 years ago
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- 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
- 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.
- Project for learning about llvm☆18Sep 13, 2022Updated 3 years ago
- FrameShift prototype implementation in LibAFL☆16Nov 13, 2025Updated 8 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
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 7 years ago
- Bringing e-graphs to MLIR, natively.☆34Updated this week
- Svg based heatmaps in Elm☆15May 10, 2017Updated 9 years ago
- [WIP] Yet another Erlang implementation in Rust☆32Feb 18, 2019Updated 7 years ago
- A book about datalog☆13Nov 26, 2022Updated 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.
- Ninja-compatible build system for high-level programming languages written in Rust☆91Updated this week
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years 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
- texliveがフルインストールされたdevcontainer☆24Mar 31, 2024Updated 2 years ago
- A small Wasm Runtime☆193Apr 23, 2026Updated 3 months ago
- Soccer betting app for Android☆10Jun 25, 2019Updated 7 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- GPU Computing Toolkit☆35Jul 20, 2026Updated last 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.
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 4 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 3 years ago
- AllTheModium for Minecraft 1.16+☆18Jun 23, 2026Updated last month
- GitHub Action for setup mitsuhiko/rye☆29Jul 21, 2026Updated last week
- ☆12Nov 2, 2022Updated 3 years ago
- ☆12Jul 7, 2025Updated last year
- ☆31Feb 26, 2023Updated 3 years ago
- ☆28Nov 23, 2023Updated 2 years ago
- Experimental AArch64 Emulator Written in C++☆41Sep 13, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Stable diffusion dedicated Hardware with multiple pipelined processor cores☆14Apr 9, 2026Updated 3 months ago
- No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust☆47May 21, 2026Updated 2 months ago
- find crashes in the rust compiler & related tooling☆85Apr 15, 2024Updated 2 years ago
- Win16 NE (New Executable) parser & disassembler☆33Jul 26, 2025Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- Meta-repository for SnipPy☆17Nov 29, 2021Updated 4 years ago