# GitHub repos by uwplse [Home](https://repo.masters-masters.com/en) › [uwplse](https://repo.masters-masters.com/en/owners/uwplse) All 5 public GitHub repos by uwplse in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by uwplse 5 public repos by uwplse in the catalog, most starred first. - [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/ruler · ★ 158 · Rust · Prototype](https://repo.masters-masters.com/en/repos/uwplse/ruler) - [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) ## See uwplse on GitHub - [https://github.com/uwplse](https://github.com/uwplse) --- Data: GitHub