egraphs-good/.github

Readme for the egraphs-good org