egraphs-good / egraph-visualizerLinks
Interactive visualizer for e-graphs
☆21Updated 6 months 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☆15Updated 3 weeks ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 3 months ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated last month
- Genetic program repair using GHC☆30Updated last year
- ☆11Updated last year
- egraph on top of sqlite☆11Updated 3 years ago
- ☆16Updated 2 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Schedule for ArtOfSAT☆10Updated last year
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated 2 weeks ago
- Tiny verified SAT-solver☆28Updated 3 years ago
- ☆16Updated 3 years ago
- Connecting bv_decide to SMTLIB.☆13Updated this week
- Binary analysis in HOL☆40Updated 3 months ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated last month
- Automatically generate a compiler using equality saturation☆30Updated last year
- vertical + gpu + free join + datalog☆20Updated 4 months ago
- Formalization of C++ for verification purposes.☆83Updated 2 weeks ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 4 months ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated this week
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 3 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆20Updated 11 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 10 months ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated last year