GitHub repository: ocharles/hegg
Description: Fast equality saturation in Haskell