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☆16Sep 18, 2024Updated last year
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 4 years ago
- A tiny JVM (Java Virtual Machine) program written in TypeScript.☆31Nov 16, 2022Updated 3 years ago
- ☆17May 14, 2024Updated last year
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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…☆13May 17, 2024Updated last year
- 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 last month
- 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☆29Updated this week
- Transform Doxygen to Rustdoc☆22May 28, 2024Updated last year
- 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
- 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.
- Simple grammar-based test case generator☆40Mar 2, 2026Updated 3 weeks ago
- ☆20Feb 9, 2026Updated last month
- 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☆89Mar 13, 2026Updated last 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
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆14Dec 3, 2016Updated 9 years ago
- An Extensible Compiler IR Framework☆271Updated this week
- texliveがフルインストールされたdevcontainer☆23Mar 31, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- A small Wasm Runtime☆191Feb 12, 2026Updated last month
- Get started with Zig + Raylib + ImGui!☆20Jul 8, 2024Updated last year
- LLVM alternative in Rust☆15May 20, 2024Updated last year
- Docker images for SATySFi and Satyrographos☆26Mar 5, 2026Updated 2 weeks ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- ☆12Nov 2, 2022Updated 3 years ago
- GPU Computing Toolkit☆32Mar 15, 2026Updated last week
- nix-direnv alternative that does not need a .direnv metafile☆18Jun 21, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Rust API for openrouter.☆27Mar 5, 2026Updated 2 weeks ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆24Feb 18, 2026Updated last month
- Experimental AArch64 Emulator Written in C++☆38Sep 13, 2023Updated 2 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago