A repository to test dialects defined dynamically.
☆12Jun 20, 2023Updated 2 years ago
Alternatives and similar repositories for dyn-dialect
Users that are interested in dyn-dialect are comparing it to the libraries listed below
Sorting:
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Verified Intermediate Representation☆36Updated this week
- A strongly-typed, compiled dialect of Python.☆13Jan 28, 2024Updated 2 years ago
- Data-Centric MLIR dialect☆46Oct 16, 2023Updated 2 years ago
- npcomp - An aspirational MLIR based numpy compiler☆51Jul 31, 2020Updated 5 years ago
- IREE plugin repository for the AMD AIE accelerator☆122Updated this week
- General system research material (not limited to paper) reading notes.☆22Mar 17, 2021Updated 5 years ago
- ☆64Feb 10, 2025Updated last year
- DASS HLS Compiler☆29Oct 4, 2023Updated 2 years ago
- ☆12Jul 9, 2021Updated 4 years ago
- Fork of Python with some terrible custom features hacked in☆14Oct 7, 2022Updated 3 years ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 6 years ago
- ☆68Updated this week
- An attempt at proxying vscode remote shell backend through cluster login nodes.☆20Feb 5, 2026Updated last month
- A domain-specific language for parallel and distributed agent-based simulations.☆29Aug 12, 2019Updated 6 years ago
- AI-ML-NLP Task Group☆13Aug 10, 2023Updated 2 years ago
- A sandbox for quick iteration and experimentation on projects related to IREE, MLIR, and LLVM☆62Mar 21, 2025Updated last year
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆14Nov 3, 2021Updated 4 years ago
- Alternative Textgen for JetBrains MPS using the standard model to model generation mechanisms☆21Apr 7, 2019Updated 6 years ago
- SBoost is a SIMD-based C++ library enabling fast filtering and decoding of lightweight encoded data☆11Jul 6, 2021Updated 4 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆20Apr 29, 2024Updated last year
- A layout modifier that makes window-window spacing equal to window-edge spacing.☆16Jul 18, 2016Updated 9 years ago
- ☆12Jun 7, 2024Updated last year
- ☆11Apr 15, 2024Updated last year
- ☆12Nov 2, 2022Updated 3 years ago
- AnyBlox runtime and tooling☆36Sep 4, 2025Updated 6 months ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- Small C++ preprocessor library☆13Jun 16, 2020Updated 5 years ago
- The Synapse Neuron Wallet - Binary Releases☆15Dec 17, 2018Updated 7 years ago
- Learning Pytorch☆13Jun 12, 2018Updated 7 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆44Oct 1, 2025Updated 5 months ago
- Verilog Tetris☆14Dec 25, 2014Updated 11 years ago
- A novel spatial accelerator for horizontal diffusion weather stencil computation, as described in ICS 2023 paper by Singh et al. (https:/…☆22Jul 27, 2023Updated 2 years ago
- An MLIR frontend for tensor expressions☆24Sep 5, 2020Updated 5 years ago
- Extension to simple-call-tree.el - emacs lisp code for displaying a simple call tree.☆19Jul 13, 2024Updated last year