awesome-egraphs

awesome-egraphs

philzook58

An awesome list of e-graph resources

377 Stars
20 Forks
13 Watchers
mit License
100 SrcLog Score
Cost to Build
$7.7K
Market Value
$27.1K

Growth over time

7 data points  ·  2025-09-01 → 2026-11-01
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about awesome-egraphs

Question copied to clipboard

What is the philzook58/awesome-egraphs GitHub project? Description: "An awesome list of e-graph resources". Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

🏆 Show off this rank

philzook58/awesome-egraphs on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone awesome-egraphs

Clone via HTTPS

git clone https://github.com/philzook58/awesome-egraphs.git

Clone via SSH

[email protected]:philzook58/awesome-egraphs.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the awesome-egraphs issue tracker:

Open GitHub Issues