Embedded Universal DSL: a good DSL for us, by us
☆67Updated this week
Alternatives and similar repositories for eudsl
Users that are interested in eudsl are comparing it to the libraries listed below
Sorting:
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆118Nov 5, 2025Updated 3 months ago
- ☆29Nov 29, 2025Updated 3 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- rdiv!(::AbstractMatrix, ::UpperTriangular) and ldiv!(::LowerTriangular, ::AbstractMatrix)☆12Nov 18, 2024Updated last year
- work in progress, playing around with btor2 in rust☆12Updated this week
- Tools for working with Ghidra/Sleigh slaspec☆11Jan 2, 2025Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆108May 19, 2022Updated 3 years ago
- Optimised multi-node MPI sorting algorithms in Julia☆10Sep 25, 2024Updated last year
- ☆17Feb 10, 2026Updated 2 weeks ago
- Immutable empty and singleton collections☆14Mar 2, 2023Updated 3 years ago
- Versioned dictionaries following the mutable-until-shared (Mutts) discipline☆11Jul 29, 2020Updated 5 years ago
- Julia implementation of LULESH with MPI + X.☆13Jul 23, 2022Updated 3 years ago
- Play with MLIR right in your browser☆138May 25, 2023Updated 2 years ago
- The rustic MLIR bindings in Rust☆476Updated this week
- Julia rules for semgrep☆14Dec 9, 2025Updated 2 months ago
- OpenRewrite recipes for data flow analysis.☆15Feb 23, 2026Updated last week
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆20Nov 25, 2025Updated 3 months ago
- Embeddable R7RS Scheme interpreter for Go — bytecode compiler, stack VM, hygienic macros☆40Updated this week
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Dec 7, 2019Updated 6 years ago
- Scalable and efficient error handling without using type composition.☆20Sep 29, 2025Updated 5 months ago
- TPP experimentation on MLIR for linear algebra☆146Updated this week
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 7 months ago
- A utility library to bridge llvm and mlir gaps.☆15Jan 8, 2025Updated last year
- A Julia interface to the PATH solver☆15Jan 26, 2021Updated 5 years ago
- Allows an AbstractArray, to look like an AbstractArray with one more dimension and the tiles are represented along this dimension.☆13May 3, 2025Updated 9 months ago
- Solves systems of polynomial equations.☆30Sep 12, 2025Updated 5 months ago
- ☆40Jan 22, 2026Updated last month
- IREE's PyTorch Frontend, based on Torch Dynamo.☆105Updated this week
- Create "fly-throughs" in 3d visualization☆15Dec 15, 2025Updated 2 months ago
- A byte code specification and a JIT-compiler written in Assembly.☆14Jan 9, 2025Updated last year
- Library for Data Decision Diagrams and Set Decision Diagrams☆16Sep 10, 2025Updated 5 months ago
- Some WIP GameCube toolchain in Rust☆13Jun 15, 2021Updated 4 years ago
- Interface designs for enforcing static computations in array functions with Julia☆15Feb 9, 2026Updated 3 weeks ago
- Refinement type checking and inference tool for Rust☆17Feb 23, 2026Updated last week
- Plain Old Callbacks in new Cloak - An extension system for Julia☆13Jan 29, 2024Updated 2 years ago
- ☆15Apr 1, 2021Updated 4 years ago
- ☆20Oct 6, 2023Updated 2 years ago
- Description of Apple's LEAP ISA☆16Nov 21, 2022Updated 3 years ago