GitHub repository: uwplse/ruler
Primary language: Rust
Description: Rewrite Rule Inference Using Equality Saturation