GitHub repository: verse-lab/ego
Primary language: OCaml
Description: EGraphs in OCaml