# GitHub repos by gustavo-depaula

<https://repo.masters-masters.com/en/owners/gustavo-depaula>

[Home](https://repo.masters-masters.com/en) › [gustavo-depaula](https://repo.masters-masters.com/en/owners/gustavo-depaula)

The public GitHub repo by gustavo-depaula in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by gustavo-depaula

1 public repo by gustavo-depaula in the catalog, most starred first.

- [gustavo-depaula/stalin-sort · ★ 1,712 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/gustavo-depaula/stalin-sort)

## See gustavo-depaula on GitHub

- [https://github.com/gustavo-depaula](https://github.com/gustavo-depaula)

---
Data: GitHub