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