# uwplse/ruler

<https://repo.masters-masters.com/en/repos/uwplse/ruler>

[Home](https://repo.masters-masters.com/en) › [uwplse](https://repo.masters-masters.com/en/owners/uwplse) › [ruler](https://repo.masters-masters.com/en/repos/uwplse/ruler)

uwplse/ruler has 158 stars on GitHub. Its RepoMasters card: Prototype tier. Rewrite Rule Inference Using Equality Saturation Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [uwplse](https://repo.masters-masters.com/en/owners/uwplse) |
| Stars | 158 |
| Forks | 16 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2020 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [uwplse/ruler](https://github.com/uwplse/ruler) |

## Repository

Rewrite Rule Inference Using Equality Saturation

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by uwplse

- [uwplse/verdi · ★ 627 · Rocq Prover · Alpha](https://repo.masters-masters.com/en/repos/uwplse/verdi)
- [uwplse/verdi-raft · ★ 204 · Coq · Prototype](https://repo.masters-masters.com/en/repos/uwplse/verdi-raft)
- [uwplse/tensat · ★ 145 · Rust · Prototype](https://repo.masters-masters.com/en/repos/uwplse/tensat)
- [uwplse/Cassius · ★ 102 · Racket · Prototype](https://repo.masters-masters.com/en/repos/uwplse/Cassius)

## Nearby in Rust

- [TimsPizza/SwiftPan · ★ 158 · Rust · Prototype](https://repo.masters-masters.com/en/repos/TimsPizza/SwiftPan)
- [Epistates/turbovault · ★ 158 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Epistates/turbovault)
- [truespar/paddock · ★ 158 · Rust · Prototype](https://repo.masters-masters.com/en/repos/truespar/paddock)
- [deadlinks/cargo-deadlinks · ★ 158 · Rust · Prototype](https://repo.masters-masters.com/en/repos/deadlinks/cargo-deadlinks)
- [rustls/webpki-roots · ★ 158 · Rust · Prototype](https://repo.masters-masters.com/en/repos/rustls/webpki-roots)
- [cfrancia/spectral · ★ 158 · Rust · Prototype](https://repo.masters-masters.com/en/repos/cfrancia/spectral)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.