egraphs-good / egraph-visualizer
Interactive visualizer for e-graphs
☆20Updated last month
Alternatives and similar repositories for egraph-visualizer:
Users that are interested in egraph-visualizer are comparing it to the libraries listed below
- Automatically generate a compiler using equality saturation☆27Updated 9 months ago
- Egraphs Modulo Theories☆13Updated 3 months ago
- ☆10Updated 6 months ago
- An awesome list of e-graph resources☆121Updated this week
- Genetic program repair using GHC☆30Updated 8 months ago
- egraph on top of sqlite☆12Updated 2 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆14Updated 3 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆69Updated last month
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Staged Abstract Interpreters☆65Updated last year
- A formally verified bug finder☆14Updated last month
- ☆16Updated 3 years ago
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- Benchmark repository of polyglot effect handler examples☆20Updated 2 months ago
- Formalization of C++ for verification purposes.☆72Updated this week
- ☆13Updated 4 years ago
- ☆14Updated last year
- Verified, Incremental, Binary Editing with Synthesis☆52Updated last year
- Tiny verified SAT-solver☆28Updated 3 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- Solver for Constrained Horn Clauses☆35Updated this week
- ☆43Updated last month
- Logical Frameworks Class☆11Updated 10 months ago
- ☆79Updated 2 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆12Updated 2 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 9 months ago
- A verified tensor library in Lean☆20Updated last week
- Binary analysis in HOL☆35Updated this week