# GitHub repos by newca12 [Home](https://repo.masters-masters.com/en) › [newca12](https://repo.masters-masters.com/en/owners/newca12) The public GitHub repo by newca12 in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by newca12 1 public repo by newca12 in the catalog, most starred first. - [newca12/awesome-rust-formalized-reasoning · ★ 400 · Alpha](https://repo.masters-masters.com/en/repos/newca12/awesome-rust-formalized-reasoning) ## See newca12 on GitHub - [https://github.com/newca12](https://github.com/newca12) --- Data: GitHub