egraphs-good / egglog-python
Python bindings for the egg-smol rust library
☆65Updated this week
Related projects ⓘ
Alternatives and complementary repositories for egglog-python
- Python bindings for egg☆47Updated last year
- ☆22Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- ☆17Updated 5 months ago
- A minimal development of SSA theory☆88Updated this week
- An awesome list of e-graph resources☆105Updated last week
- Python S-expression emulation using tuple-like objects.☆21Updated 2 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- A StableHLO analyzer in Lean☆15Updated last month
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- A (WIP) equality saturation tactic for Lean based on egg.☆41Updated last week
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- embedding MLIR in LEAN☆47Updated 5 months ago
- ☆15Updated 2 years ago
- Implementation of higher-order logic in Python☆58Updated last year
- How to read Lean☆16Updated 2 weeks 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
- ☆21Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- EGraphs in OCaml☆60Updated 10 months ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- LLVM support for the lean theorem prover☆31Updated 3 years ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆39Updated 4 months ago
- Semi-Automated Python Proof Assistant☆54Updated last week
- ☆75Updated 3 weeks ago
- library learning w egraphs☆17Updated last year
- Plain-text declaration export for Lean 4☆12Updated last month