Skip to content

@egraphs-good egraphs-good

Change the repository type filter

All

    Repositories list

    18 repositories

    • egglog

      Public
      egraphs + datalog!
      Rust
      •
      MIT License
      •84•657•69•18•Updated Jan 6, 2026Jan 6, 2026

    • egglog-experimental

      Public
      Unstable egglog standard library.
      Rust
      •
      MIT License
      •4•12•5•3•Updated Jan 6, 2026Jan 6, 2026

    • egraph-visualizer

      Public
      Interactive visualizer for e-graphs
      TypeScript
      •
      MIT License
      •1•26•3•1•Updated Jan 5, 2026Jan 5, 2026

    • egglog-demo

      Public
      Interactive demo website for Egglog
      JavaScript
      •
      MIT License
      •0•2•0•2•Updated Jan 5, 2026Jan 5, 2026

    • egglog-python

      Public
      Python bindings for the egglog rust library
      pythonrustdslterm-rewritingequality-saturatione-graph
      JavaScript
      •
      MIT License
      •17•94•13•4•Updated Jan 5, 2026Jan 5, 2026

    • egraph-serialize

      Public
      egraph <-> json
      Rust
      •
      MIT License
      •8•15•5•2•Updated Dec 29, 2025Dec 29, 2025

    • egg

      Public
      egg is a flexible, high-performance e-graph library
      Rust
      •
      MIT License
      •180•1.6k•22•6•Updated Dec 4, 2025Dec 4, 2025

    • eggcc

      Public
      An experimental optimizing compiler for Bril using egglog
      Rust
      •
      MIT License
      •16•82•26•7•Updated Nov 25, 2025Nov 25, 2025

    • egglog-backend

      Public archive
      Rust
      •
      MIT License
      •3•5•4•0•Updated Sep 26, 2025Sep 26, 2025

    • egglog-tutorial

      Public
      HTML
      •
      MIT License
      •3•7•4•0•Updated Aug 15, 2025Aug 15, 2025

    • extraction-gym

      Public
      benchmarking e-graph extraction
      Rust
      •
      MIT License
      •26•48•8•2•Updated May 20, 2025May 20, 2025

    • egglog-benchmarks

      Public
      A collection of large benchmarks for the egglog language.
      0•2•0•0•Updated May 8, 2025May 8, 2025

    • peggy-comparison

      Public
      Benchmarking files and setup for comparison to peggy
      Java
      •2•3•0•1•Updated Apr 7, 2025Apr 7, 2025

    • egraphs-good.github.io

      Public
      egraphs-good website
      HTML
      •
      MIT License
      •9•18•0•0•Updated Oct 9, 2024Oct 9, 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
      •18•49•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