egraphs-good.github.io - egg

home > domains > egraphs-good.github.io

Description: 'egg' is an open-source, high performance e-graph and equality saturation toolkit.

Example domain paragraphs

The egg project uses e-graphs to provide a new way to build program optimizers and synthesizers.

The core egg library provides high-performance, flexible e-graphs implemented in Rust . It is packaged on crates.io and documented on docs.rs , including a tutorial that provides an introduction to e-graphs and their use cases.

Are you using egg in your project? Open a pull request to add your project to this list!

Links to egraphs-good.github.io (13)

• uwplse.org UW PLSE
• pavpanchekha.com Pavel Panchekha
• ztatlock.net Zachary Tatlock
• mwillsey.com mwillsey
• cnandi.com Chandrakana Nandi
• oflatt.com Oliver Flatt
• remy.wang Remy Wang
• thia.codes Cynthia Richey
• sgtpeacock.com Sam Thomas
• juliasymbolics.org JuliaSymbolics — Symbolic programming in Julia
• uwplse.github.io UW PLSE
• chandrakananandi.github.io Chandrakana Nandi
• cnandi.net Chandrakana Nandi