# Dépôts de leanEthereum [Accueil](https://repo.masters-masters.com/) › [leanEthereum](https://repo.masters-masters.com/owners/leanEthereum) Les 2 dépôts GitHub publics de leanEthereum, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de leanEthereum 2 dépôts publics de leanEthereum au catalogue, du plus étoilé au moins étoilé. - [leanEthereum/leanVM · ★ 178 · Lean · Prototype](https://repo.masters-masters.com/repos/leanEthereum/leanVM) - [leanEthereum/leanSpec · ★ 145 · Python · Prototype](https://repo.masters-masters.com/repos/leanEthereum/leanSpec) ## Voir leanEthereum sur GitHub - [https://github.com/leanEthereum](https://github.com/leanEthereum) --- Données : GitHub