# GitHub repos by dwrensha [Home](https://repo.masters-masters.com/en) › [dwrensha](https://repo.masters-masters.com/en/owners/dwrensha) All 4 public GitHub repos by dwrensha in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by dwrensha 4 public repos by dwrensha in the catalog, most starred first. - [dwrensha/seer · ★ 367 · Rust · Alpha](https://repo.masters-masters.com/en/repos/dwrensha/seer) - [dwrensha/compfiles · ★ 255 · Lean · Alpha](https://repo.masters-masters.com/en/repos/dwrensha/compfiles) - [dwrensha/gj · ★ 110 · Rust · Prototype](https://repo.masters-masters.com/en/repos/dwrensha/gj) - [dwrensha/animate-lean-proofs · ★ 102 · Lean · Prototype](https://repo.masters-masters.com/en/repos/dwrensha/animate-lean-proofs) ## See dwrensha on GitHub - [https://github.com/dwrensha](https://github.com/dwrensha) --- Data: GitHub