egraphs-good / egraph-visualizer
Interactive visualizer for e-graphs
☆21Updated 3 months ago
Alternatives and similar repositories for egraph-visualizer:
Users that are interested in egraph-visualizer are comparing it to the libraries listed below
- LLVM support for the lean theorem prover☆46Updated 3 years ago
- Genetic program repair using GHC☆30Updated 10 months ago
- Egraphs Modulo Theories☆13Updated 3 weeks ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆11Updated this week
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆15Updated 3 years ago
- Automatically generate a compiler using equality saturation☆28Updated 11 months ago
- egraph on top of sqlite☆11Updated 3 years ago
- ☆16Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last week
- ☆16Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Binary analysis in HOL☆36Updated last week
- ☆11Updated 8 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆19Updated 8 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆20Updated this week
- 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
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated last year
- Libraries useful for Dafny programs☆43Updated last week
- Tiny verified SAT-solver☆27Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆36Updated 7 months ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Formalization of C++ for verification purposes.☆80Updated this week
- An awesome list of e-graph resources☆145Updated last month
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- ☆80Updated 5 months ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated last month
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆32Updated last week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week