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:
- ๐ Cherry programming languageโ18Sep 18, 2024Updated 2 years ago
- SQL Optimizations using MLIRโ12Apr 5, 2020Updated 6 years ago
- A tiny JVM (Java Virtual Machine) program written in TypeScript.โ32Nov 16, 2022Updated 3 years ago
- โ17May 14, 2024Updated 2 years ago
- Coqใงๆงใ ใชๆฐๅญฆใฎๅฎ็ใ่จผๆโ18Nov 13, 2022Updated 3 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.
- 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 4 years ago
- Secure Rust Codeโ16Dec 10, 2024Updated last year
- An optimizing ahead-of-time Python Compilerโ268Jun 9, 2024Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVMโ84Oct 1, 2026Updated 2 weeks ago
- A tiny OCaml compiler with JVM backend ๐ซโ๏ธโ11Mar 12, 2019Updated 7 years ago
- Svg based heatmaps in Elmโ15May 10, 2017Updated 9 years ago
- [WIP] Yet another Erlang implementation in Rustโ32Feb 18, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A book about datalogโ13Nov 26, 2022Updated 3 years ago
- Ninja-compatible build system for improved end-user experience written in Rustโ92Updated this week
- LLVM Bitcode parser in Rustโ26Oct 3, 2026Updated 2 weeks ago
- LLVM support for the lean theorem proverโ53Sep 14, 2021Updated 5 years ago
- Highly-customizable dotfiles managerโ14Feb 19, 2023Updated 3 years ago
- A small Wasm Runtimeโ194Apr 23, 2026Updated 5 months ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programsโ20Jan 14, 2021Updated 5 years ago
- Distributed Protocol Combinatorsโ14Apr 11, 2021Updated 5 years ago
- GPU Computing Toolkitโ37Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer โข AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Using e-graphs to synthesize netlists from boolean logic.โ14Jul 26, 2023Updated 3 years ago
- AllTheModium for Minecraft 1.16+โ19Updated this week
- GitHub Action for setup mitsuhiko/ryeโ29Updated this week
- A mutation testing tool designed to work with large C++ (and C) codebases.โ15Oct 8, 2026Updated last week
- Simple grammar-based test case generatorโ48Sep 28, 2026Updated 2 weeks ago
- โ34Feb 26, 2023Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.โ12Mar 29, 2025Updated last year
- โ28Nov 23, 2023Updated 2 years ago
- Experimental AArch64 Emulator Written in C++โ40Sep 13, 2023Updated 3 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.
- OCaml Bindings to MLIRโ16Dec 11, 2020Updated 5 years ago
- Stable diffusion dedicated Hardware with multiple pipelined processor coresโ14Apr 9, 2026Updated 6 months ago
- โ17Jan 5, 2022Updated 4 years ago
- find crashes in the rust compiler & related toolingโ88Apr 15, 2024Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.โ43Aug 14, 2024Updated 2 years ago
- โ17Jan 31, 2023Updated 3 years ago
- An TUI based elf analyzerโ10Apr 2, 2021Updated 5 years ago