# GitHub repos by leanEthereum [Home](https://repo.masters-masters.com/en) › [leanEthereum](https://repo.masters-masters.com/en/owners/leanEthereum) All 2 public GitHub repos by leanEthereum in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by leanEthereum 2 public repos by leanEthereum in the catalog, most starred first. - [leanEthereum/leanVM · ★ 180 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanEthereum/leanVM) - [leanEthereum/leanSpec · ★ 145 · Python · Prototype](https://repo.masters-masters.com/en/repos/leanEthereum/leanSpec) ## See leanEthereum on GitHub - [https://github.com/leanEthereum](https://github.com/leanEthereum) --- Data: GitHub