calebh / dihash
Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"
☆16Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for dihash
- benchmarking e-graph extraction☆34Updated this week
- ☆13Updated last year
- ☆15Updated 2 years ago
- Easy SMT solver interaction☆24Updated last month
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 4 months ago
- ☆17Updated 4 years ago
- ☆37Updated 3 months ago
- FPGA synthesis tool powered by program synthesis☆38Updated last month
- A WebAssembly implementation in Lean4☆32Updated 11 months ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- A high-level API for interacting with SMT solvers.☆23Updated 2 months ago
- egraph on top of sqlite☆12Updated 2 years ago
- An awesome list of e-graph resources☆100Updated 3 weeks ago
- A tool for formally verifying constant-time software against hardware 🕰️☆10Updated last year
- Alternative implementation of the logical framework Dedukti in Rust☆20Updated 6 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 2 years ago
- library learning w egraphs☆17Updated last year
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- egraph <-> json☆12Updated last month
- ☆75Updated 3 weeks ago
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 8 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- embedding MLIR in LEAN☆47Updated 4 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- Datalog + Egg = Good☆65Updated last year
- A program synthesis framework for verified lifting applications☆39Updated 2 weeks ago