PrototypeCommon
uwplse/ruler
Rewrite Rule Inference Using Equality Saturation
- Owner
- uwplse (organization)
- Stars
- Stars: 158
- Forks
- Forks: 16
- Language
- Rust
- License
- MIT
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by uwplse
All 5 repos by uwplse- uwplse/verdiStars: 627Rocq ProverAlpha
- uwplse/verdi-raftStars: 204CoqPrototype
- uwplse/tensatStars: 145RustPrototype
- uwplse/CassiusStars: 102RacketPrototype
Nearby in Rust
All Rust repos- crabbuild/crabStars: 158RustPrototype
- truespar/paddockStars: 158RustPrototype
- originoneai/awrStars: 158RustPrototype
- deadlinks/cargo-deadlinksStars: 158RustPrototype
- rustls/webpki-rootsStars: 158RustPrototype
- cfrancia/spectralStars: 158RustPrototype