GitHub repos by uwplse
5 public repos by uwplse in the catalog, most starred first.
- uwplse/verdiStars: 627Rocq ProverAlpha
- uwplse/verdi-raftStars: 204CoqPrototype
- uwplse/rulerStars: 158RustPrototype
- uwplse/tensatStars: 145RustPrototype
- uwplse/CassiusStars: 102RacketPrototype