Repositories list

• eggcc

  Public
  Rust

  •

  MIT License

  •11•52•46•11•Updated Nov 30, 2024Nov 30, 2024

• egglog-python

  Public
  Python bindings for the egg-smol rust library

  pythonrustdsl+ 3term-rewritingequality-saturatione-graph

  JavaScript

  •

  MIT License

  •9•66•7•7•Updated Nov 25, 2024Nov 25, 2024

• egglog

  Public
  egraphs + datalog!

  Rust

  •

  MIT License

  •54•461•61•9•Updated Nov 25, 2024Nov 25, 2024

• egraph-visualizer

  Public
  Interactive visualizer for e-graphs

  TypeScript

  •

  MIT License

  •0•18•1•0•Updated Nov 13, 2024Nov 13, 2024

• peggy-comparison

  Public
  Benchmarking files and setup for comparison to peggy

  Java

  •1•2•0•1•Updated Nov 8, 2024Nov 8, 2024

• extraction-gym

  Public
  benchmarking e-graph extraction

  Rust

  •

  MIT License

  •19•36•7•5•Updated Nov 8, 2024Nov 8, 2024

• egraphs-good.github.io

  Public
  egraphs-good website

  HTML

  •

  MIT License

  •9•15•0•0•Updated Oct 9, 2024Oct 9, 2024

• egraph-serialize

  Public
  egraph <-> json

  Rust

  •

  MIT License

  •4•12•4•1•Updated Sep 28, 2024Sep 28, 2024

• egg

  Public
  egg is a flexible, high-performance e-graph library

  Rust

  •

  MIT License

  •138•1.4k•21•10•Updated Aug 31, 2024Aug 31, 2024

• .github

  Public
  Readme for the egraphs-good org

  0•1•0•0•Updated Feb 16, 2024Feb 16, 2024

• snake-egg

  Public
  Python bindings for egg

  Python

  •

  MIT License

  •14•47•2•0•Updated Jan 17, 2023Jan 17, 2023

• egg-tutorial-pldi-2022

  Public
  Rust

  •0•5•0•0•Updated Jun 13, 2022Jun 13, 2022

• egg-web-demo

  Public
  a web demo for egg

  Rust

  •

  MIT License

  •0•1•1•0•Updated Oct 27, 2020Oct 27, 2020