# Dépôts de pirapira [Accueil](https://repo.masters-masters.com/) › [pirapira](https://repo.masters-masters.com/owners/pirapira) Les 5 dépôts GitHub publics de pirapira, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de pirapira 5 dépôts publics de pirapira au catalogue, du plus étoilé au moins étoilé. - [pirapira/awesome-ethereum-virtual-machine · ★ 851 · Bêta](https://repo.masters-masters.com/repos/pirapira/awesome-ethereum-virtual-machine) - [pirapira/bamboo · ★ 323 · OCaml · Alpha](https://repo.masters-masters.com/repos/pirapira/bamboo) - [pirapira/ethereum-formal-verification-overview · ★ 295 · Alpha](https://repo.masters-masters.com/repos/pirapira/ethereum-formal-verification-overview) - [pirapira/eth-isabelle · ★ 245 · Isabelle · Prototype](https://repo.masters-masters.com/repos/pirapira/eth-isabelle) - [pirapira/coq2rust · ★ 226 · OCaml · Prototype](https://repo.masters-masters.com/repos/pirapira/coq2rust) ## Voir pirapira sur GitHub - [https://github.com/pirapira](https://github.com/pirapira) --- Données : GitHub