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