uwplse/ruler

Rewrite Rule Inference Using Equality Saturation

Rust

158

1,778 commits

updated Sep 11, 2026

See the code

Contributors

ajpal

595 commits

chandrakananandi

401 commits

bksaiki

196 commits

vee-effekt

130 commits

Languages

Rust

61.1%

Python

17.9%

Shell

11.5%

JavaScript

7.1%

uwplse/ruler

Rewrite Rule Inference Using Equality Saturation

Rust

158

1,778 commits

updated Sep 11, 2026

See the code

Contributors

ajpal

595 commits

chandrakananandi

401 commits

bksaiki

196 commits

vee-effekt

130 commits

Languages

Rust

61.1%

Python

17.9%

Shell

11.5%

JavaScript

7.1%