Declarative MLIR compilers in Python!
☆35Oct 9, 2020Updated 5 years ago
Alternatives and similar repositories for declarative-mlir-compiler
Users that are interested in declarative-mlir-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 2 years ago
- Verified Intermediate Representation☆42Updated this week
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago
- ☆13Jul 9, 2021Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆45Apr 19, 2026Updated 2 weeks ago
- 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 2 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆26Feb 27, 2026Updated 2 months ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated last year
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- CClyzer port to souffle lang☆19Jan 29, 2024Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated 2 years ago
- ☆13Oct 19, 2020Updated 5 years ago
- 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.
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated last year
- npcomp - An aspirational MLIR based numpy compiler☆51Jul 31, 2020Updated 5 years ago
- Eris is an open source 16 bit retrocomputer design which can be built cheaply and easily☆12Oct 4, 2021Updated 4 years ago
- MLIR tools and dialect for GraphBLAS☆18Mar 30, 2022Updated 4 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Mar 11, 2026Updated last month
- ☆20Sep 27, 2019Updated 6 years ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 5 months ago
- Better Code (redux) course and book materials☆26Apr 20, 2026Updated 2 weeks 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.
- ☆29Sep 27, 2019Updated 6 years ago
- A fast, small C/C++ function call tracer for x86-64/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries☆197Mar 25, 2025Updated last year
- Tools built using Dyninst or Dyninst component libraries.☆27Mar 18, 2026Updated last month
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- A minimal (really) out-of-tree MLIR example☆47Aug 14, 2025Updated 8 months ago
- Markup source code showing optimizations☆36Jan 21, 2020Updated 6 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- ☆14Jun 26, 2024Updated last year
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Python compiler design toolkit.☆523Updated this week
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- The Vellvm (Verified LLVM) coq development.☆469Updated this week
- 6502 Emulator written in C.☆23Mar 15, 2020Updated 6 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 8 months ago
- A minimal development of SSA theory☆233Updated this week