# GitHub repos by barry-jay-personal [Home](https://repo.masters-masters.com/en) › [barry-jay-personal](https://repo.masters-masters.com/en/owners/barry-jay-personal) The public GitHub repo by barry-jay-personal in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by barry-jay-personal 1 public repo by barry-jay-personal in the catalog, most starred first. - [barry-jay-personal/tree-calculus · ★ 207 · Coq · Prototype](https://repo.masters-masters.com/en/repos/barry-jay-personal/tree-calculus) ## See barry-jay-personal on GitHub - [https://github.com/barry-jay-personal](https://github.com/barry-jay-personal) --- Data: GitHub