egraphs-good / egraph-visualizerLinks
Interactive visualizer for e-graphs
☆24Updated 2 weeks ago
Alternatives and similar repositories for egraph-visualizer
Users that are interested in egraph-visualizer are comparing it to the libraries listed below
Sorting:
- Egraphs Modulo Theories☆16Updated 4 months ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆18Updated 4 years ago
- LLVM support for the lean theorem prover☆52Updated 4 years ago
- Automatically generate a compiler using equality saturation☆34Updated last year
- egraph on top of sqlite☆11Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated 3 weeks ago
- A formally verified bug finder☆13Updated 10 months ago
- ☆16Updated 3 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆87Updated 2 months ago
- ☆12Updated this week
- ☆83Updated last year
- Refreshing automation for inductive equational proofs using e-graphs☆24Updated last year
- Rewrite Rule Inference Using Equality Saturation☆141Updated 4 months ago
- The implementation of an SMTLib dialect for xDSL☆16Updated last week
- Schedule for ArtOfSAT☆10Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆28Updated this week
- An awesome list of e-graph resources☆250Updated last week
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 6 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 7 months ago
- Genetic program repair using GHC☆30Updated last year
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Updated last year
- ☆16Updated 2 years ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- Implementing Halide's TRS inside of EGG☆33Updated 2 years ago
- ☆101Updated this week
- SMTscope automatically analyses and visualises SMT solver execution traces.☆42Updated last week
- Stratified synthesis for learning machine code instruction semantics☆37Updated 3 weeks ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Solver for Constrained Horn Clauses☆46Updated this week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆30Updated last year