# GitHub repos by leonardoalt [Home](https://repo.masters-masters.com/en) › [leonardoalt](https://repo.masters-masters.com/en/owners/leonardoalt) All 4 public GitHub repos by leonardoalt in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by leonardoalt 4 public repos by leonardoalt in the catalog, most starred first. - [leonardoalt/ethereum\_formal\_verification\_overview · ★ 378 · Alpha](https://repo.masters-masters.com/en/repos/leonardoalt/ethereum_formal_verification_overview) - [leonardoalt/yools · ★ 140 · SMT · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/yools) - [leonardoalt/fusion · ★ 118 · Rust · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/fusion) - [leonardoalt/dl\_symb\_exec\_sol · ★ 112 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/dl_symb_exec_sol) ## See leonardoalt on GitHub - [https://github.com/leonardoalt](https://github.com/leonardoalt) --- Data: GitHub