# uwplse/ruler

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

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

uwplse/ruler, dépôt open source à 158 étoiles sur GitHub. Carte Prototype de RepoMasters. Rewrite Rule Inference Using Equality Saturation Langage : Rust.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [uwplse](https://repo.masters-masters.com/owners/uwplse) |
| Étoiles | 158 |
| Forks | 16 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | MIT |
| Création | 2020 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [uwplse/ruler](https://github.com/uwplse/ruler) |

## Fiche du dépôt

Rewrite Rule Inference Using Equality Saturation

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de uwplse

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

## D’autres dépôts Rust

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.