# Dépôts de uwplse [Accueil](https://repo.masters-masters.com/) › [uwplse](https://repo.masters-masters.com/owners/uwplse) Les 5 dépôts GitHub publics de uwplse, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de uwplse 5 dépôts publics de uwplse au catalogue, du plus étoilé au moins étoilé. - [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/ruler · ★ 158 · Rust · Prototype](https://repo.masters-masters.com/repos/uwplse/ruler) - [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) ## Voir uwplse sur GitHub - [https://github.com/uwplse](https://github.com/uwplse) --- Données : GitHub