Skip to content

@egraphs-good egraphs-good

Change the repository type filter

All

    Repositories list

    15 repositories

    • eggcc

      Public
      An experimental optimizing compiler for Bril
      Rust
      •
      MIT License
      •12•61•26•12•Updated Feb 17, 2025Feb 17, 2025

    • egglog-python

      Public
      Python bindings for the egg-smol rust library
      pythonrustdslterm-rewritingequality-saturatione-graph
      JavaScript
      •
      MIT License
      •12•67•10•6•Updated Feb 17, 2025Feb 17, 2025

    • peggy-comparison

      Public
      Benchmarking files and setup for comparison to peggy
      Java
      •1•3•0•1•Updated Feb 16, 2025Feb 16, 2025

    • egglog-backend

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated Feb 16, 2025Feb 16, 2025

    • egglog

      Public
      egraphs + datalog!
      Rust
      •
      MIT License
      •56•496•54•9•Updated Feb 11, 2025Feb 11, 2025

    • egglog-experimental

      Public
      Unstable egglog standard library.
      Rust
      •
      MIT License
      •1•2•0•0•Updated Jan 16, 2025Jan 16, 2025

    • egg

      Public
      egg is a flexible, high-performance e-graph library
      Rust
      •
      MIT License
      •146•1.4k•19•5•Updated Dec 31, 2024Dec 31, 2024

    • egraph-visualizer

      Public
      Interactive visualizer for e-graphs
      TypeScript
      •
      MIT License
      •0•20•1•0•Updated Dec 12, 2024Dec 12, 2024

    • extraction-gym

      Public
      benchmarking e-graph extraction
      Rust
      •
      MIT License
      •20•35•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
      •5•13•4•1•Updated Sep 28, 2024Sep 28, 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
      •15•46•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