# Dépôts de barry-jay-personal [Accueil](https://repo.masters-masters.com/) › [barry-jay-personal](https://repo.masters-masters.com/owners/barry-jay-personal) Le dépôt GitHub public de barry-jay-personal en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de barry-jay-personal 1 dépôt public de barry-jay-personal au catalogue pour l’instant. - [barry-jay-personal/tree-calculus · ★ 207 · Coq · Prototype](https://repo.masters-masters.com/repos/barry-jay-personal/tree-calculus) ## Voir barry-jay-personal sur GitHub - [https://github.com/barry-jay-personal](https://github.com/barry-jay-personal) --- Données : GitHub