riswords / quiche
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for quiche
- Python bindings for egg☆47Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- ☆15Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- Python bindings for the egg-smol rust library☆65Updated this week
- ☆17Updated 5 months ago
- egraph on top of sqlite☆12Updated 2 years ago
- ☆13Updated last year
- The implementation of the Elevate language☆29Updated 3 weeks ago
- egraph <-> json☆12Updated last month
- library learning w egraphs☆17Updated last year
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- embedding MLIR in LEAN☆47Updated 5 months ago
- ☆11Updated 3 years ago
- ☆34Updated 7 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Compiler with automatic differentiation☆45Updated last year
- EGraphs in OCaml☆60Updated 10 months ago
- benchmarking e-graph extraction☆36Updated last week
- Code for enumeration from a CFG☆18Updated last year
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆45Updated last year
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- An awesome list of e-graph resources☆105Updated last week
- Racket Equivalence Graph Library☆18Updated 2 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆51Updated this week
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year