# GitHub repos by ufmg-smite

<https://repo.masters-masters.com/en/owners/ufmg-smite>

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

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

## GitHub repos by ufmg-smite

1 public repo by ufmg-smite in the catalog, most starred first.

- [ufmg-smite/lean-smt · ★ 315 · Lean · Alpha](https://repo.masters-masters.com/en/repos/ufmg-smite/lean-smt)

## See ufmg-smite on GitHub

- [https://github.com/ufmg-smite](https://github.com/ufmg-smite)

---
Data: GitHub