joker-eph / llvm-project-with-mlirView external linksLinks
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 2 weeks ago
- My study note for mlsys☆14Nov 4, 2024Updated last year
- 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
- A translator from c to MLIR☆33Nov 15, 2021Updated 4 years ago
- SBLP 2025 MLIR Tutorial☆69Feb 8, 2026Updated last week
- Transformer based Translation model☆18Jun 13, 2021Updated 4 years ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Dec 13, 2025Updated 2 months ago
- a simple end to end example of taking a ML graph (TF2 / PyTorch) and running it on a device [cpu, gpu]☆36Jan 20, 2021Updated 5 years ago
- A 9x9 Go (Weiqi/Baduk) Engine☆12Nov 5, 2021Updated 4 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- SQRL Port of ethminer☆11Feb 1, 2021Updated 5 years ago
- ☆12Apr 6, 2022Updated 3 years ago
- The first large scale formally verified reasoning dataset for Verilog☆19May 16, 2025Updated 9 months ago
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 4 years ago
- ☆10Jan 15, 2023Updated 3 years ago
- UWaterloo NLP Reading Group.☆12Feb 13, 2020Updated 6 years ago
- MikanOSをRustで製作したいプロジェクトです☆10Dec 1, 2023Updated 2 years ago
- A limit order match engine and backend service with simple account management using RESTful API in Rust-lang.☆17Jan 3, 2023Updated 3 years ago
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Apr 23, 2023Updated 2 years ago
- PoWx mission: Aiming at smaller energy per hash hardware.☆11Dec 18, 2021Updated 4 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 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 debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)☆11Jun 11, 2021Updated 4 years ago
- A collection of URLs related to High Level Synthesis (HLS).☆13Jun 26, 2021Updated 4 years ago
- 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
- ☆13Oct 27, 2020Updated 5 years ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 2 years ago
- MLIR+EqSat☆25Jan 10, 2026Updated last month
- Basic implementation of Blake2 in C as a base for Argon2 for Mozilla's Network Security Services.☆11Feb 6, 2017Updated 9 years ago
- A complete example of batched refactorization in cuSOLVER.☆13Dec 22, 2021Updated 4 years ago
- Synthesis of Optimized Hash Functions☆53Dec 11, 2024Updated last year
- TPP experimentation on MLIR for linear algebra☆144Feb 2, 2026Updated 2 weeks ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆53Jul 17, 2023Updated 2 years ago
- TUI client for euphoria.leet.nu, a threaded real-time chat platform☆10Jun 28, 2025Updated 7 months ago
- Hierarchical Navigable Small World Graphs☆18Aug 17, 2024Updated last year
- This project is to list the best books, courses, tutorial, methods on learning certain knowledge☆11Mar 22, 2021Updated 4 years ago
- KServe community docs for contributions and process☆15Jan 30, 2026Updated 2 weeks ago
- Graphviz dot to Verilog Finite State Machine (FSM) generator written in Python☆15Feb 3, 2021Updated 5 years ago