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