Declarative MLIR compilers in Python!
☆37Oct 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 stream to RTL compiler based on MLIR and CIRCT☆17Nov 15, 2022Updated 3 years ago
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 3 years ago
- Training neural networks with target propagation☆13May 19, 2017Updated 9 years ago
- ☆12Jul 9, 2021Updated 5 years ago
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆46Aug 25, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tsar programming language☆16Dec 22, 2019Updated 6 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆26Jun 23, 2026Updated 2 months ago
- machine fusion☆16Oct 13, 2018Updated 7 years 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
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated 2 years ago
- Coding projects by the community for the community☆25Oct 2, 2025Updated 11 months ago
- Verified Intermediate Representation☆91Updated this week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- ☆13Oct 19, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated last year
- E-Graphs, natively in MLIR☆36Updated this week
- A GitHub action to run clang-tidy and annotate failures☆14Jul 12, 2023Updated 3 years ago
- RISC-V emulator in python☆65Aug 26, 2026Updated last week
- Eris is an open source 16 bit retrocomputer design which can be built cheaply and easily☆12Oct 4, 2021Updated 4 years ago
- A meta-tracing JIT☆15Updated this week
- MLIR tools and dialect for GraphBLAS☆18Mar 30, 2022Updated 4 years ago
- jaxsnn is an event-based approach to machine-learning-inspired training and simulation of SNNs, including support for the BrainScaleS-2 n…☆31Aug 14, 2026Updated 2 weeks ago
- A formally verified compiler for a simple language with numbers and sums☆29Nov 29, 2020Updated 5 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.
- Python wrapper for isl, an integer set library☆85Updated this week
- A minimal (really) out-of-tree MLIR example☆49Aug 14, 2025Updated last year
- gcc plugin to discover optimization passes used during compilation☆21Feb 10, 2021Updated 5 years ago
- ☆14Jun 26, 2024Updated 2 years ago
- Exercises for Learning MLIR (Originally written for PPoPP 2026)☆109Jul 21, 2026Updated last month
- LLVM 2.9 branch with TI C64x backend.☆11Oct 17, 2019Updated 6 years ago
- The Vellvm (Verified LLVM) coq development.☆490Aug 10, 2026Updated 3 weeks ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- An MLIR-based source-to-source automatic differentiation system.☆15Mar 30, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- For hosting ATS3 and developing CodeDepot☆19Updated this week
- A fast, small C/C++ function call tracer for x86-64/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries☆200Mar 25, 2025Updated last year
- ☆32May 19, 2023Updated 3 years ago
- ☆421Feb 24, 2026Updated 6 months ago
- C++20 library for binary serialization of arbitrary aggregates or tuples. The library also unifies work with tuples and aggregates☆14Feb 26, 2022Updated 4 years ago
- Securing Deep Spiking Neural Networks against Adversarial Attacks through Inherent Structural Parameters☆13Aug 15, 2022Updated 4 years ago
- Play with MLIR right in your browser☆139May 25, 2023Updated 3 years ago