egraphs-good / snake-egg
Python bindings for egg
☆47Updated last year
Related projects ⓘ
Alternatives and complementary repositories for snake-egg
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- Python bindings for the egg-smol rust library☆65Updated this week
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- ☆22Updated last year
- embedding MLIR in LEAN☆47Updated 5 months ago
- benchmarking e-graph extraction☆36Updated last week
- ☆15Updated 2 years ago
- egraph on top of sqlite☆12Updated 2 years 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
- An awesome list of e-graph resources☆105Updated last week
- ☆34Updated 7 months ago
- Cerberus C semantics☆53Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆41Updated last week
- EGraphs in OCaml☆60Updated 10 months ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆47Updated 3 months ago
- library learning w egraphs☆17Updated last year
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆45Updated last year
- ☆13Updated last year
- LLVM support for the lean theorem prover☆31Updated 3 years ago
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- Cyclic theorem prover for equalitional reasoning using egraphs☆24Updated last year
- A minimal development of SSA theory☆88Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- A blog of Programming Languages Group @Purdue☆10Updated last week
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 3 months ago
- ☆19Updated last year
- Term project for TaPL. A mini coq-like proof assistant.☆16Updated 6 years ago
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago