Clone of the LLVM project with MLIR repo integrated as a top-level subproject
☆12Dec 11, 2022Updated 3 years ago
Alternatives and similar repositories for llvm-project-with-mlir
Users that are interested in llvm-project-with-mlir are comparing it to the libraries listed below
Sorting:
- Minimal examples of crates useful for compiler development☆25Feb 2, 2026Updated last month
- My study note for mlsys☆14Nov 4, 2024Updated last year
- ☆34Jun 5, 2025Updated 9 months ago
- System to recognize infinite languages and react to string events☆25Dec 10, 2023Updated 2 years ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Dec 8, 2024Updated last year
- SBLP 2025 MLIR Tutorial☆70Feb 8, 2026Updated last month
- Tutorial on building a gpu compiler backend in LLVM☆55Jan 11, 2025Updated last year
- ☆12Apr 6, 2022Updated 3 years ago
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- Twili I/O library for libnx☆14Jan 13, 2020Updated 6 years ago
- ☆10Jan 15, 2023Updated 3 years ago
- An MLIR-based compiler from C/C++ to AMD-Xilinx Versal AIE☆17Aug 5, 2022Updated 3 years ago
- UWaterloo NLP Reading Group.☆12Feb 13, 2020Updated 6 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago
- An alternative choice to enjoy personalized music from douban.fm☆40Apr 13, 2013Updated 12 years ago
- The first large scale formally verified reasoning dataset for Verilog☆20May 16, 2025Updated 9 months ago
- MikanOSをRustで製作したいプロジェクトです☆10Dec 1, 2023Updated 2 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- A collection of URLs related to High Level Synthesis (HLS).☆13Jun 26, 2021Updated 4 years ago
- Twitter スペースでコメントを読み上げるツール (VOICEVOX 使用)☆12Jul 19, 2022Updated 3 years ago
- Synthesis of Optimized Hash Functions☆53Dec 11, 2024Updated last year
- A set of tools to extract library signature of binary programs at runtime.☆28Jan 21, 2026Updated last month
- A debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)☆11Jun 11, 2021Updated 4 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Our project involves the design of an 8-bit microprocessor data-path including 8-byte dual port memory, ALU and barrel shifter using CMOS…☆14Jan 2, 2021Updated 5 years ago
- ☆15Feb 12, 2024Updated 2 years ago
- ☆11Jul 14, 2025Updated 7 months ago
- BitGPU is a GPU approach to solve the bitwidth optimization problem in FPGA datapaths.☆11Feb 10, 2017Updated 9 years ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 2 years ago
- Swift wrapper for the Bitcoin Core RPC☆13Dec 27, 2021Updated 4 years ago
- A Node.js library for formatting HTML strings☆13Apr 5, 2025Updated 11 months ago
- KServe community docs for contributions and process☆15Feb 21, 2026Updated 2 weeks ago
- A full-featured and high-performance (see benchmark) event loop that is loosely modelled after libevent, but without its limitations and …☆11Dec 2, 2024Updated last year
- Eris is an open source 16 bit retrocomputer design which can be built cheaply and easily☆12Oct 4, 2021Updated 4 years ago
- Um gerenciador de chat no Google Meet☆11Nov 12, 2021Updated 4 years ago
- MLIR+EqSat☆26Jan 10, 2026Updated last month
- This is my C++ Calculator program, ported to the Nintendo Switch☆12Dec 10, 2022Updated 3 years ago
- This project is to list the best books, courses, tutorial, methods on learning certain knowledge☆11Mar 22, 2021Updated 4 years ago