awesome-egraphs
github.com/philzook58/awesome-egraphs ↗An awesome list of e-graph resources
333
GitHub Stars
209
Curated Resources
9
Categories
4 hours ago
Last Refreshed
CommunityImplementationsGeneralApplicationsExtractionSchedulingBlog PostsTalksRulesets
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me program optimization resources from awesome-egraphs"
Installation instructions →What's inside
General
Applications
Blog Posts
Talks
- ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler
- Better Together: Unifying Datalog and Equality Saturation (PLDI 2023)
- egg: Fast and Extensible Equality Saturation
- egglog: E-Graphs in Python
- egglog Tutorial (EGRAPHS 2023) | Next Generation Egraphs
Next Generation Egraphs
- E-Graphs and Automated Reasoning: Looking Back to Look Forward
Extraction
Implementations
Rulesets
- https://en.wikipedia.org/wiki/List_of_set_identities_and_relationsHuman Readable
- https://en.wikipedia.org/wiki/List_of_trigonometric_identitiesHuman Readable
- https://en.wikipedia.org/wiki/Summation#IdentitiesHuman Readable
- https://fungrim.org/Declarative
- https://gappa.gitlabpages.inria.fr/gappa/theorems.htmlHuman Readable
- https://gist.github.com/manasij7479/2ad0f7f058503ae60de30e4bfb30c917Declarative
Showing a sample of 209 resources. View the full list on GitHub →