philzook58 / awesome-egraphs
An awesome list of e-graph resources
☆97Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-egraphs
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- A minimal development of SSA theory☆88Updated this week
- Cyclic theorem prover for equalitional reasoning using egraphs☆24Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆85Updated 2 years ago
- Cerberus C semantics☆53Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆62Updated this week
- ☆75Updated 3 weeks ago
- benchmarking e-graph extraction☆34Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆50Updated last year
- Egraphs Modulo Theories☆14Updated 3 weeks ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Interface with the rustc compiler for the purpose of program verification☆100Updated this week
- ☆37Updated 6 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- Interactive visualizer for e-graphs☆17Updated 2 weeks ago
- embedding MLIR in LEAN☆47Updated 4 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 4 months ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- EGraphs in OCaml☆60Updated 9 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆79Updated last week
- Definition of the Viper intermediate verification language.☆79Updated this week
- ☆50Updated this week
- A high-performance, parallel, compilation-based symbolic execution engine☆121Updated this week
- Python bindings for egg☆47Updated last year
- GoNative project: formal machines models in Coq☆36Updated 7 years ago