A binary optimization/specialization library supporting multiple rewriters - View it on GitHub