This page keeps track of research and industry projects that use equality saturation (EqSat), especially those that are based on a modern EqSat library (e.g., egg, Metatheory.jl, egglog).

# projects in each field

Projects that use modern EqSat libraries