Re-implementation of the TASO compiler using equality saturation - View it on GitHub