Optimization
egg
A flexible, high-performance e-graph library.
peepmatic
A DSL and compiler for generating peephole optimizers.