egraphs-good / egraph-visualizer
Interactive visualizer for e-graphs
☆21Updated 4 months ago
Alternatives and similar repositories for egraph-visualizer:
Users that are interested in egraph-visualizer are comparing it to the libraries listed below
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆15Updated 3 years ago
- Egraphs Modulo Theories☆13Updated last month
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆11Updated 3 weeks ago
- Automatically generate a compiler using equality saturation☆28Updated last year
- LLVM support for the lean theorem prover☆47Updated 3 years ago
- egraph on top of sqlite☆11Updated 3 years ago
- ☆11Updated 9 months ago
- Genetic program repair using GHC☆30Updated 11 months ago
- ☆16Updated last year
- Schedule for ArtOfSAT☆10Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last month
- ☆16Updated 3 years ago
- A formally verified bug finder☆14Updated 5 months ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆20Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆18Updated this week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- ☆81Updated 6 months ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated this week
- Binary analysis in HOL☆37Updated last month
- An awesome list of e-graph resources☆153Updated last week
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 5 months ago
- vertical + gpu + free join + datalog☆20Updated 2 months ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆23Updated last week
- Kleene algebra modulo theories☆27Updated 2 years ago
- ☆14Updated 4 years ago
- Formalization of C++ for verification purposes.☆80Updated 2 weeks ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- Slog 1.0☆41Updated 10 months ago